diff options
| author |  Kelvin M. Klann <kmk3.code@protonmail.com> | 2022-09-03 20:10:30 -0300 |
|---|---|---|
| committer | Kelvin M. Klann <kmk3.code@protonmail.com> | 2022-09-17 10:58:59 -0300 |
| commit | b6a21daad93eb1e41c9afb351f027121cacffad8 (patch) | |
| tree | 62898fbd49bc3ed7d6fa3a787577204c7893de36 /etc/profile-a-l/arduino.profile | |
| 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/profile-a-l/arduino.profile')
| -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 | ||