diff options
Diffstat (limited to 'etc/android-studio.profile')
-rw-r--r-- | etc/android-studio.profile | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/etc/android-studio.profile b/etc/android-studio.profile index ff7fb6711..2e4e564dd 100644 --- a/etc/android-studio.profile +++ b/etc/android-studio.profile | |||
@@ -7,17 +7,15 @@ include globals.local | |||
7 | 7 | ||
8 | noblacklist ${HOME}/.AndroidStudio* | 8 | noblacklist ${HOME}/.AndroidStudio* |
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 |