From b6a21daad93eb1e41c9afb351f027121cacffad8 Mon Sep 17 00:00:00 2001 From: "Kelvin M. Klann" Date: Sat, 3 Sep 2022 20:10:30 -0300 Subject: arduino.profile: allow devel paths As mentioned in its description, this profile is intended for an IDE, so allow paths used for development and stop including the following profiles: * disable-devel.inc * disable-exec.inc * disable-interpreters.inc Fixes #5292. --- etc/profile-a-l/arduino.profile | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'etc/profile-a-l/arduino.profile') 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 noblacklist ${HOME}/Arduino noblacklist ${DOCUMENTS} -# Allow java (blacklisted by disable-devel.inc) -include allow-java.inc +# Allows files commonly used by IDEs +include allow-common-devel.inc include disable-common.inc -include disable-devel.inc -include disable-exec.inc -include disable-interpreters.inc include disable-programs.inc include disable-xdg.inc -- cgit v1.2.3-70-g09d2