mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-12-14 18:51:28 +00:00
995b061680
--HG-- extra : rebase_source : 70355805b7f71c016eaa7aaea1d1916a23316b8a
41 lines
751 B
Python
41 lines
751 B
Python
"""
|
|
Run a python script, adding extra directories to the python path.
|
|
"""
|
|
|
|
import sys, os
|
|
|
|
def usage():
|
|
print >>sys.stderr, "pythonpath.py -I directory script.py [args...]"
|
|
sys.exit(150)
|
|
|
|
paths = []
|
|
|
|
while True:
|
|
try:
|
|
arg = sys.argv[1]
|
|
except IndexError:
|
|
usage()
|
|
|
|
if arg == '-I':
|
|
del sys.argv[1]
|
|
try:
|
|
path = sys.argv.pop(1)
|
|
except IndexError:
|
|
usage()
|
|
|
|
paths.append(path)
|
|
continue
|
|
|
|
if arg.startswith('-I'):
|
|
path = sys.argv.pop(1)[2:]
|
|
paths.append(path)
|
|
continue
|
|
|
|
break
|
|
|
|
sys.argv.pop(0)
|
|
script = sys.argv[0]
|
|
|
|
sys.path[0:0] = [os.path.dirname(script)] + paths
|
|
execfile(script, {'__name__': '__main__', '__file__': script})
|