]> SALOME platform Git repositories - modules/gui.git/commitdiff
Salome HOME
Issue 0021247: EDF 1856 STUDY: Unification of the configuration files and directories...
authorvsr <vsr@opencascade.com>
Sun, 16 Oct 2011 13:04:55 +0000 (13:04 +0000)
committervsr <vsr@opencascade.com>
Sun, 16 Oct 2011 13:04:55 +0000 (13:04 +0000)
Part 2: Store salome plugins (plugin manager) in the ~/.config/salome/Plugins directory

src/SalomeApp/salome_pluginsmanager.py

index 031f856f1b3f18d3d80e003d0bb51d1f7bd4e67e..171f5a6fca6eb906e6be3e3099831bc0c1115cfa 100644 (file)
@@ -29,7 +29,7 @@ A plugins manager is created when calling initialize.
 
 The plugins manager creates a submenu <menuname> in the <basemenuname> menu.
 
-The plugins manager searches in $HOME/.salome/Plugins, $HOME/$APPLI/Plugins, $SALOME_PLUGINS_PATH directories
+The plugins manager searches in $HOME/.config/salome/Plugins, $HOME/$APPLI/Plugins, $SALOME_PLUGINS_PATH directories
 files named <name>_plugins.py and executes them.
 
 These files should contain python code that register functions into the plugins manager.
@@ -137,8 +137,12 @@ class PluginsManager:
         self.plugins_files=[]
 
         # USER plugins directory
-        user_dir = os.path.expanduser("~/.salome/Plugins")
+        user_dir = os.path.expanduser("~/.config/salome/Plugins")
         self.plugindirs.append(user_dir)
+        # obsolete: USER plugins directory
+        # (for compatibility reasons only; new plugins should be stored in ~/.config/salome/Plugins)
+        user_obsolete_dir = os.path.expanduser("~/.salome/Plugins")
+        self.plugindirs.append(user_obsolete_dir)
 
         # APPLI plugins directory
         appli=os.getenv("APPLI")