diff options
author | 2022-09-03 20:10:30 -0300 | |
---|---|---|
committer | 2022-09-17 10:58:59 -0300 | |
commit | b6a21daad93eb1e41c9afb351f027121cacffad8 (patch) | |
tree | 62898fbd49bc3ed7d6fa3a787577204c7893de36 /etc | |
parent | docs: man: Note that some commands can be disabled in firejail.config (#5366) (diff) | |
download | firejail-b6a21daad93eb1e41c9afb351f027121cacffad8.tar.gz firejail-b6a21daad93eb1e41c9afb351f027121cacffad8.tar.zst firejail-b6a21daad93eb1e41c9afb351f027121cacffad8.zip |
arduino.profile: allow devel paths
As mentioned in its description, this profile is intended for an IDE, so
allow paths used for development and stop including the following
profiles:
* disable-devel.inc
* disable-exec.inc
* disable-interpreters.inc
Fixes #5292.
Diffstat (limited to 'etc')
-rw-r--r-- | etc/profile-a-l/arduino.profile | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/etc/profile-a-l/arduino.profile b/etc/profile-a-l/arduino.profile index 0daab7dcd..bb0bc3513 100644 --- a/etc/profile-a-l/arduino.profile +++ b/etc/profile-a-l/arduino.profile | |||
@@ -10,13 +10,10 @@ noblacklist ${HOME}/.arduino15 | |||
10 | noblacklist ${HOME}/Arduino | 10 | noblacklist ${HOME}/Arduino |
11 | noblacklist ${DOCUMENTS} | 11 | noblacklist ${DOCUMENTS} |
12 | 12 | ||
13 | # Allow java (blacklisted by disable-devel.inc) | 13 | # Allows files commonly used by IDEs |
14 | include allow-java.inc | 14 | include allow-common-devel.inc |
15 | 15 | ||
16 | include disable-common.inc | 16 | include disable-common.inc |
17 | include disable-devel.inc | ||
18 | include disable-exec.inc | ||
19 | include disable-interpreters.inc | ||
20 | include disable-programs.inc | 17 | include disable-programs.inc |
21 | include disable-xdg.inc | 18 | include disable-xdg.inc |
22 | 19 | ||