diff options
| author |  netblue30 <netblue30@protonmail.com> | 2022-09-26 10:24:05 -0400 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2022-09-26 10:24:05 -0400 |
| commit | cca5db8336936a26fd185338ca4c45f3f3d1e21c (patch) | |
| tree | abe797035a4769829df02e2e369884b2299f40f8 | |
| 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
| -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 | ||