zeroinstall/injector/_runenv.py

   1 """
   2 Helper script for <executable> bindings.
   3 """
   4
   5 # Copyright (C) 2011, Thomas Leonard
   6 # See the README file for details, or visit http://0install.net.
   7
   8 import os, sys
   9
  10 def main():
  11         envname = os.path.basename(sys.argv[0])
  12         import json
  13         args = json.loads(os.environ["0install-runenv-" + envname])
  14         os.execv(args[0], args + sys.argv[1:])