diff options
Diffstat (limited to 'grc/gui/Preferences.py')
| -rw-r--r-- | grc/gui/Preferences.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/grc/gui/Preferences.py b/grc/gui/Preferences.py index c315436cae..061bda9c05 100644 --- a/grc/gui/Preferences.py +++ b/grc/gui/Preferences.py @@ -24,7 +24,7 @@ _platform = None _config_parser = ConfigParser.ConfigParser() def file_extension(): return '.'+_platform.get_key() -def _prefs_file(): return os.path.join(os.path.expanduser('~'), file_extension()) +def _prefs_file(): return os.environ.get('GRC_PREFS_PATH', os.path.join(os.path.expanduser('~'), file_extension())) def load(platform): global _platform @@ -32,9 +32,11 @@ def load(platform): #create sections _config_parser.add_section('main') _config_parser.add_section('files_open') + print "Reading preferences from:", _prefs_file() try: _config_parser.read(_prefs_file()) except: pass def save(): + print "Writing preferences to:", _prefs_file() try: _config_parser.write(open(_prefs_file(), 'w')) except: pass |