diff options
Diffstat (limited to 'etc/profile-a-l/idea.sh.profile')
| -rw-r--r-- | etc/profile-a-l/idea.sh.profile | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/etc/profile-a-l/idea.sh.profile b/etc/profile-a-l/idea.sh.profile index 180b62ec2..680b8e777 100644 --- a/etc/profile-a-l/idea.sh.profile +++ b/etc/profile-a-l/idea.sh.profile | |||
| @@ -5,12 +5,12 @@ include idea.sh.local | |||
| 5 | # Persistent global definitions | 5 | # Persistent global definitions |
| 6 | include globals.local | 6 | include globals.local |
| 7 | 7 | ||
| 8 | nodeny ${HOME}/.IdeaIC* | 8 | noblacklist ${HOME}/.IdeaIC* |
| 9 | nodeny ${HOME}/.android | 9 | noblacklist ${HOME}/.android |
| 10 | nodeny ${HOME}/.jack-server | 10 | noblacklist ${HOME}/.jack-server |
| 11 | nodeny ${HOME}/.jack-settings | 11 | noblacklist ${HOME}/.jack-settings |
| 12 | nodeny ${HOME}/.local/share/JetBrains | 12 | noblacklist ${HOME}/.local/share/JetBrains |
| 13 | nodeny ${HOME}/.tooling | 13 | noblacklist ${HOME}/.tooling |
| 14 | 14 | ||
| 15 | # Allows files commonly used by IDEs | 15 | # Allows files commonly used by IDEs |
| 16 | include allow-common-devel.inc | 16 | include allow-common-devel.inc |