diff options
author | 2022-09-26 10:24:05 -0400 | |
---|---|---|
committer | 2022-09-26 10:24:05 -0400 | |
commit | cca5db8336936a26fd185338ca4c45f3f3d1e21c (patch) | |
tree | abe797035a4769829df02e2e369884b2299f40f8 /etc/profile-a-l | |
parent | Merge pull request #5382 from netblue30/dependabot/github_actions/github/code... (diff) | |
parent | arduino.profile: allow devel paths (diff) | |
download | firejail-cca5db8336936a26fd185338ca4c45f3f3d1e21c.tar.gz firejail-cca5db8336936a26fd185338ca4c45f3f3d1e21c.tar.zst firejail-cca5db8336936a26fd185338ca4c45f3f3d1e21c.zip |
Merge pull request #5374 from kmk3/profiles-fix-arduino
arduino.profile: allow devel paths
Diffstat (limited to 'etc/profile-a-l')
-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 | ||