diff options
Diffstat (limited to 'etc/profile-a-l/arduino.profile')
-rw-r--r-- | etc/profile-a-l/arduino.profile | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/etc/profile-a-l/arduino.profile b/etc/profile-a-l/arduino.profile index 0daab7dcd..bb0bc3513 100644 --- a/etc/profile-a-l/arduino.profile +++ b/etc/profile-a-l/arduino.profile | |||
@@ -10,13 +10,10 @@ noblacklist ${HOME}/.arduino15 | |||
10 | noblacklist ${HOME}/Arduino | 10 | noblacklist ${HOME}/Arduino |
11 | noblacklist ${DOCUMENTS} | 11 | noblacklist ${DOCUMENTS} |
12 | 12 | ||
13 | # Allow java (blacklisted by disable-devel.inc) | 13 | # Allows files commonly used by IDEs |
14 | include allow-java.inc | 14 | include allow-common-devel.inc |
15 | 15 | ||
16 | include disable-common.inc | 16 | include disable-common.inc |
17 | include disable-devel.inc | ||
18 | include disable-exec.inc | ||
19 | include disable-interpreters.inc | ||
20 | include disable-programs.inc | 17 | include disable-programs.inc |
21 | include disable-xdg.inc | 18 | include disable-xdg.inc |
22 | 19 | ||