diff options
author | rusty-snake <41237666+rusty-snake@users.noreply.github.com> | 2021-04-06 14:15:26 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-06 14:15:26 +0000 |
commit | d6c91554acf61a3b8ea10ebfc47e022bf48dd94e (patch) | |
tree | 148b6798d58b37776a23542e58cce853f3cd69be /etc/profile-m-z | |
parent | Encourage making overrides in *.local files (#4165) (diff) | |
parent | WebStorm: allow Dolphin to access its config file (diff) | |
download | firejail-d6c91554acf61a3b8ea10ebfc47e022bf48dd94e.tar.gz firejail-d6c91554acf61a3b8ea10ebfc47e022bf48dd94e.tar.zst firejail-d6c91554acf61a3b8ea10ebfc47e022bf48dd94e.zip |
Merge pull request #4167 from tredondo/patch-7
WebStorm: allow Dolphin to access its config file
Diffstat (limited to 'etc/profile-m-z')
-rw-r--r-- | etc/profile-m-z/webstorm.profile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/etc/profile-m-z/webstorm.profile b/etc/profile-m-z/webstorm.profile index a4adf2896..e9053f598 100644 --- a/etc/profile-m-z/webstorm.profile +++ b/etc/profile-m-z/webstorm.profile | |||
@@ -9,6 +9,8 @@ noblacklist ${HOME}/.WebStorm* | |||
9 | noblacklist ${HOME}/.android | 9 | noblacklist ${HOME}/.android |
10 | noblacklist ${HOME}/.local/share/JetBrains | 10 | noblacklist ${HOME}/.local/share/JetBrains |
11 | noblacklist ${HOME}/.tooling | 11 | noblacklist ${HOME}/.tooling |
12 | # Allow KDE file manager to open with log directories (blacklisted by disable-programs.inc) | ||
13 | noblacklist ${HOME}/.config/dolphinrc | ||
12 | 14 | ||
13 | # Allows files commonly used by IDEs | 15 | # Allows files commonly used by IDEs |
14 | include allow-common-devel.inc | 16 | include allow-common-devel.inc |