setenv.py

import os,sys

import sys

if len(sys.argv)>1 and sys.argv[1]=="1":
  os.system("./setenv.bat x86_amd64 >& null")
else:
  os.system("./setenv.bat x86 >& null")
os.remove("null")

def readenv(filename):
  env={}
  fIN=open(filename, "r")
  for line in fIN.xreadlines():
    idx=line.find("=")
    if idx!=-1:
      var=line[:idx]
      val=line[idx+1:-2]
      env[var]=val
  return env

def escape(val):
  val=val.replace("\\","\\\\")
  return '"'+val+'"'

def escapepath(val):
  tmp={}
  paths=val.split(";")
  newpath=[]
  for path in paths:
    if not tmp.has_key(path):
      tmp[path]=1
      path=path.replace("c:","/c")
      path=path.replace("C:","/c")
      path=path.replace("\\","/")
      path=path.replace(" ","\\ ")
      path=path.replace("(","\\(")
      path=path.replace(")","\\)")
      newpath.append(path)
  return ":".join(newpath) 

env_before=readenv("env_before.txt")
env_after=readenv("env_after.txt")
os.remove("env_before.txt")
os.remove("env_after.txt")

for var,val in env_after.iteritems():
  if not env_before.has_key(var):
    print "export %s=%s"%(var,escape(val))
  else:
    oldval=env_before[var]
    if val != oldval:
      if var!="PATH":
        pass
        # currently only allow path to be different
        #print var,"different"
        #print oldval
        #print val
      else:
        print "export PATH=%s"%(escapepath(val))