Skip to content

Instantly share code, notes, and snippets.

@kevinywlui
Last active July 9, 2019 17:10
Show Gist options
  • Save kevinywlui/6c494f8dbbb2c667d07fc101e8d3b19c to your computer and use it in GitHub Desktop.
Save kevinywlui/6c494f8dbbb2c667d07fc101e8d3b19c to your computer and use it in GitHub Desktop.

Official Sagemath guide

Setting up local development copy

  • Get develop branch of sage.
git clone https://github.com/sagemath/sage
cd ~/sage
git checkout develop
  • Build sage.
cd ~/sage
export MAKE='make -j 48'
nice -n 19 make build

Setting up trac

cd
git clone https://github.com/sagemath/git-trac-command
cd ~/git-trac-command
python setup.py install --user
  • Authenticate with user/token
cd ~/sage
git trac config --user USERNAME --token <TOEKN FROM TRAC>
  • Authenticate with ssh keys
    • make the key-pair
cd
ssh-keygen # follow the prompts
  • Show the public key
cat .ssh/id_rsa.pub
- copy this over to the trac.sagemath.org in your account settings

Make a ticket!!

  • Hit the new ticket button.
  • Fill things in!

Checkout the ticket

cd ~/sage
git trac checkout <ticket number>

Make a commit

  • Do some edits.
  • git add <file> to tell git to track these edits.
  • Run some tests
  • git commit -m "<one line description>" to make a commit.
  • git trac push to send to the trac server.
  • Edit the ticket appropriately.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment