install.py

branch
6_1_x
changeset 4912
d20551adffb1
parent 4890
314deb5a1316
child 5052
6803b3fcc4c9
--- a/install.py	Mon Mar 28 13:33:05 2016 +0200
+++ b/install.py	Sun Apr 03 12:29:37 2016 +0200
@@ -899,10 +899,13 @@
     if path:
         pybin = os.path.join(sys.exec_prefix, "bin")
         pathlist = path.split(os.pathsep)
-        if pybin not in pathlist:
-            pathLine = "PATH={0}{1}{2}\n".format(pybin, os.pathsep, path)
-        else:
-            pathLine = "PATH={0}\n".format(path)
+        pathlist_n = [pybin]
+        for path_ in pathlist:
+            if path_ and path_ not in pathlist_n:
+                pathlist_n.append(path_)
+        pathLine = "PATH={0}\n".format(os.pathsep.join(pathlist_n))
+    
+    # create the wrapper script
     wrapper = ('''#!/bin/sh\n'''
                '''\n'''
                '''{0}'''

eric ide

mercurial