mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-136810 ($HOME/idea.properties lookup returned)
This commit is contained in:
@@ -315,6 +315,7 @@ public class PathManager {
|
||||
String[] propFiles = {
|
||||
System.getProperty(PROPERTIES_FILE),
|
||||
getUserPropertiesPath(),
|
||||
getUserHome() + "/idea.properties",
|
||||
getHomePath() + "/bin/idea.properties",
|
||||
getHomePath() + "/community/bin/idea.properties"};
|
||||
|
||||
@@ -359,7 +360,7 @@ public class PathManager {
|
||||
return platformPath(PATHS_SELECTOR, "Library/Preferences", /*"APPDATA", "XDG_CONFIG_HOME", ".config",*/ "") + "/idea.properties";
|
||||
}
|
||||
else {
|
||||
return getUserHome() + "/idea.properties";
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user