mirror of
https://github.com/java-decompiler/jd-gui.git
synced 2024-11-26 22:10:22 +00:00
Pull request #194: add -Djd-gui.cfg=path/to.jd-gui.cfg
This commit is contained in:
parent
3443db2b45
commit
f0b0f9e8aa
@ -28,6 +28,15 @@ public class ConfigurationXmlPersisterProvider implements ConfigurationPersister
|
||||
protected static final File FILE = getConfigFile();
|
||||
|
||||
protected static File getConfigFile() {
|
||||
String configFilePath = System.getProperty(Constants.CONFIG_FILENAME);
|
||||
|
||||
if (configFilePath != null) {
|
||||
File configFile = new File(configFilePath);
|
||||
if (configFile.exists()) {
|
||||
return configFile;
|
||||
}
|
||||
}
|
||||
|
||||
if (PlatformService.getInstance().isLinux()) {
|
||||
// See: http://standards.freedesktop.org/basedir-spec/basedir-spec-latest.html
|
||||
String xdgConfigHome = System.getenv("XDG_CONFIG_HOME");
|
||||
|
Loading…
Reference in New Issue
Block a user