diff options
| author |  rusty-snake <print_hello_world+Public@protonmail.com> | 2019-08-22 15:16:43 +0000 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2019-08-22 15:16:43 +0000 |
| commit | 7582aaffce1e2266e3ff163495c39d001ab0ef21 (patch) | |
| tree | a0ae36f8aee4e482af9e356efdf245bf59ac59f3 /etc/idea.sh.profile | |
| parent | update syscalls.txt (diff) | |
| parent | add allow-common-devel to more profiles (diff) | |
| download | firejail-7582aaffce1e2266e3ff163495c39d001ab0ef21.tar.gz firejail-7582aaffce1e2266e3ff163495c39d001ab0ef21.tar.zst firejail-7582aaffce1e2266e3ff163495c39d001ab0ef21.zip | |
Merge pull request #2921 from rusty-snake/allow-common-devel.inc
Introduce allow-common-devel.inc
Diffstat (limited to 'etc/idea.sh.profile')
| -rw-r--r-- | etc/idea.sh.profile | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/etc/idea.sh.profile b/etc/idea.sh.profile index 4f3047e08..a7d0d531f 100644 --- a/etc/idea.sh.profile +++ b/etc/idea.sh.profile | |||
| @@ -7,17 +7,15 @@ include globals.local | |||
| 7 | 7 | ||
| 8 | noblacklist ${HOME}/.IdeaIC* | 8 | noblacklist ${HOME}/.IdeaIC* |
| 9 | noblacklist ${HOME}/.android | 9 | noblacklist ${HOME}/.android |
| 10 | noblacklist ${HOME}/.config/git | ||
| 11 | noblacklist ${HOME}/.gitconfig | ||
| 12 | noblacklist ${HOME}/.git-credentials | ||
| 13 | noblacklist ${HOME}/.gradle | ||
| 14 | noblacklist ${HOME}/.jack-server | 10 | noblacklist ${HOME}/.jack-server |
| 15 | noblacklist ${HOME}/.jack-settings | 11 | noblacklist ${HOME}/.jack-settings |
| 16 | noblacklist ${HOME}/.java | ||
| 17 | noblacklist ${HOME}/.local/share/JetBrains | 12 | noblacklist ${HOME}/.local/share/JetBrains |
| 18 | noblacklist ${HOME}/.ssh | 13 | noblacklist ${HOME}/.ssh |
| 19 | noblacklist ${HOME}/.tooling | 14 | noblacklist ${HOME}/.tooling |
| 20 | 15 | ||
| 16 | # Allows files commonly used by IDEs | ||
| 17 | include allow-common-devel.inc | ||
| 18 | |||
| 21 | include disable-common.inc | 19 | include disable-common.inc |
| 22 | include disable-passwdmgr.inc | 20 | include disable-passwdmgr.inc |
| 23 | include disable-programs.inc | 21 | include disable-programs.inc |