MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

introduce idea.scratch.path property & PathManager.getScratchPath()

Browse Source
This commit is contained in:
Gregory.Shrago
2015-11-20 20:17:10 +03:00
parent 43198d71e6
commit 9a23d158f8
2 changed files with 21 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ide/scratch/ScratchFileServiceImpl.java
+1 -1
View File
@@ -153,7 +153,7 @@ public class ScratchFileServiceImpl extends ScratchFileService implements Persis
@NotNull
protected String getRootPath() {
return FileUtil.toSystemIndependentName(PathManager.getConfigPath());
return FileUtil.toSystemIndependentName(PathManager.getScratchPath());
}
@NotNull
platform/util/src/com/intellij/openapi/application/PathManager.java
+20 -1
View File
@@ -15,7 +15,10 @@
*/
package com.intellij.openapi.application;
import com.intellij.openapi.util.*;
import com.intellij.openapi.util.NamedJDOMExternalizable;
import com.intellij.openapi.util.Pair;
import com.intellij.openapi.util.SystemInfo;
import com.intellij.openapi.util.SystemInfoRt;
import com.intellij.openapi.util.io.FileUtil;
import com.intellij.openapi.util.text.StringUtil;
import com.intellij.util.io.URLUtil;
@@ -45,6 +48,7 @@ public class PathManager {
public static final String PROPERTY_HOME_PATH = "idea.home.path";
public static final String PROPERTY_CONFIG_PATH = "idea.config.path";
public static final String PROPERTY_SYSTEM_PATH = "idea.system.path";
public static final String PROPERTY_SCRATCH_PATH = "idea.scratch.path";
public static final String PROPERTY_PLUGINS_PATH = "idea.plugins.path";
public static final String PROPERTY_LOG_PATH = "idea.log.path";
public static final String PROPERTY_PATHS_SELECTOR = "idea.paths.selector";
@@ -66,6 +70,7 @@ public class PathManager {
private static String ourHomePath;
private static String ourConfigPath;
private static String ourSystemPath;
private static String ourScratchPath;
private static String ourPluginsPath;
private static String ourLogPath;
@@ -168,6 +173,20 @@ public class PathManager {
return ourConfigPath;
}
@NotNull
public static String getScratchPath() {
if (ourScratchPath != null) return ourScratchPath;
if (System.getProperty(PROPERTY_SCRATCH_PATH) != null) {
ourScratchPath = getAbsolutePath(trimPathQuotes(System.getProperty(PROPERTY_SCRATCH_PATH)));
}
else {
ourScratchPath = getConfigPath();
}
return ourScratchPath;
}
@NotNull
public static String getDefaultConfigPathFor(@NotNull String selector) {
return platformPath(selector, "Library/Preferences", CONFIG_FOLDER);