ajout argument display

diff --git a/Minicode/eficas_mini.py b/Minicode/eficas_mini.py
index f7990da3302902135302aa2098e46f74c5757ceb..281ccc8ef1b5c3ae9e328d667e0ce3b8c1047336 100755 (executable)
--- a/Minicode/eficas_mini.py
+++ b/Minicode/eficas_mini.py
@@ -3,12 +3,17 @@
     Ce module sert à lancer EFICAS configuré pour Code_Mini
 """
 # Modules Python
-import sys
+import sys,os
 
 # Modules Eficas
 import prefs
 sys.path[:0]=[prefs.INSTALLDIR]
 
+args=sys.argv[1:]
+for a in args:
+   if a == "-display":
+      os.environ['DISPLAY']=args[args.index("-display")+1]
+
 import Editeur
 from Editeur import eficas_go