1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-18 07:52:14 +01:00

ide 1.5.x settings moved to ".arduino15" folder

This commit is contained in:
Federico Fissore 2012-12-12 10:23:04 +01:00
parent 05dda78b23
commit 3d2ab5639b

View File

@ -76,7 +76,7 @@ public class Platform {
public File getSettingsFolder() throws Exception { public File getSettingsFolder() throws Exception {
// otherwise make a .processing directory int the user's home dir // otherwise make a .processing directory int the user's home dir
File home = new File(System.getProperty("user.home")); File home = new File(System.getProperty("user.home"));
File dataFolder = new File(home, ".arduino"); File dataFolder = new File(home, ".arduino15");
return dataFolder; return dataFolder;
/* /*