diff options
author | 2019-08-22 13:33:30 +0200 | |
---|---|---|
committer | 2019-08-22 13:33:30 +0200 | |
commit | 72a1472258164e4422425c4a4f1f27b1c5132be2 (patch) | |
tree | 6ae2b4f34ee7e34928b8de6b94ecbea4e7b36a19 /etc/webstorm.profile | |
parent | Introduce allow-common-devel.inc (diff) | |
download | firejail-72a1472258164e4422425c4a4f1f27b1c5132be2.tar.gz firejail-72a1472258164e4422425c4a4f1f27b1c5132be2.tar.zst firejail-72a1472258164e4422425c4a4f1f27b1c5132be2.zip |
add allow-common-devel to more profiles
Diffstat (limited to 'etc/webstorm.profile')
-rw-r--r-- | etc/webstorm.profile | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/etc/webstorm.profile b/etc/webstorm.profile index e820bae00..fc4e8e571 100644 --- a/etc/webstorm.profile +++ b/etc/webstorm.profile | |||
@@ -7,14 +7,13 @@ include globals.local | |||
7 | 7 | ||
8 | noblacklist ${HOME}/.WebStorm* | 8 | noblacklist ${HOME}/.WebStorm* |
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}/.local/share/JetBrains | 10 | noblacklist ${HOME}/.local/share/JetBrains |
15 | noblacklist ${HOME}/.ssh | 11 | noblacklist ${HOME}/.ssh |
16 | noblacklist ${HOME}/.tooling | 12 | noblacklist ${HOME}/.tooling |
17 | 13 | ||
14 | # Allows files commonly used by IDEs | ||
15 | include allow-common-devel.inc | ||
16 | |||
18 | noblacklist ${PATH}/node | 17 | noblacklist ${PATH}/node |
19 | noblacklist ${HOME}/.nvm | 18 | noblacklist ${HOME}/.nvm |
20 | 19 | ||