-
-
Notifications
You must be signed in to change notification settings - Fork 7k
Closed
Labels
Type: DuplicateAnother item already exists for this topicAnother item already exists for this topic
Description
Currently Arduino IDE stores packages and others in $HOME/.arduino15/
, this should be done in $XDG_DATA_HOME/arduino
and preferences should be located in $XDG_CONFIG_HOME/arduino
. The use of $HOME/.arduino15
should be used only as a fallback.
Related to arduino/arduino-cli#2115.
lhanson, imjasonmiller and midischwarz12
Metadata
Metadata
Assignees
Labels
Type: DuplicateAnother item already exists for this topicAnother item already exists for this topic