Path: blob/master/src/scripts/export_public_version.py
Views: 275
#!/usr/bin/env python12import os345def cmd(s):6print s7if os.system(s):8raise RuntimeError("error running '%s'" % s)91011if __name__ == '__main__':12os.chdir("%s/tmp" % os.environ['HOME'])13cmd("rm -rf cloud-public cloud-private")14cmd("git clone [email protected]:sagemathinc/smc-public.git cloud-public && rm -rf cloud-public/*"15)16cmd("git clone ~/salvus cloud-private")17cmd("rsync -axvH cloud-private/salvus/ cloud-public/")18cmd("cp -v cloud-private/*.md cloud-public/")19cmd("cd cloud-public && git add --all .")20print "See %s/tmp/cloud-public" % os.environ['HOME']21print "NOW do this:"22print "git commit -a -v"23print "git push"24print "git push [email protected]:sagemath/cloud.git"25#cmd("rm -rf cloud-private")262728