Skip to content

Instantly share code, notes, and snippets.

@stakemori
Created December 11, 2016 02:37
Show Gist options
  • Save stakemori/325a306d190d8a379b2ca51010d68eb7 to your computer and use it in GitHub Desktop.
Save stakemori/325a306d190d8a379b2ca51010d68eb7 to your computer and use it in GitHub Desktop.
import os
def install_degree2_package():
cmd = '''mkdir ~/sage_packages
cd ~/sage_packages
mv ~/degree2-master.zip .
unzip degree2-master.zip
mv degree2-master degree2
touch ~/.sage/init.sage
cat ~/sage_packages/degree2/config/example_config.sage >> ~/.sage/init.sage
'''
os.system(cmd)
install_degree2_package()
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment