File tree Expand file tree Collapse file tree 2 files changed +15
-1
lines changed
Expand file tree Collapse file tree 2 files changed +15
-1
lines changed Original file line number Diff line number Diff line change 1+ # This profile allows everything and only exists to give the
2+ # application a name instead of having the label "unconfined"
3+
4+ abi <abi/4.0>,
5+ include <tunables/global>
6+
7+ profile arduinoappimage /usr/local/bin/arduino-2 flags=(default_allow) {
8+ userns,
9+
10+ # Site-specific additions and overrides. See local/README for details.
11+ include if exists <local/arduinoappimage>
12+ }
Original file line number Diff line number Diff line change @@ -126,7 +126,9 @@ if (! test -e $CURADESKTOP) then
126126fi
127127if (! test -e $ARDUINODESKTOP ) then
128128 sudo wget https://downloads.arduino.cc/arduino-ide/arduino-ide_2.3.4_Linux_64bit.AppImage -O /usr/local/bin/arduino-2
129- sudo chmod +x /usr/local/bin/arduino-2
129+ sudo chmod +x /usr/local/bin/arduino-2
130+ sudo cp $SCRIPT /arduinoappimage /etc/apparmor.d/
131+ sudo systemctl reload apparmor.service
130132 sudo wget https://www.arduino.cc/wiki/370832ed4114dd35d498f2f449b4781e/arduino.svg -O /usr/local/bin/arduino.svg
131133 echo " [Desktop Entry]
132134 Version=1.0
You can’t perform that action at this time.
0 commit comments