Skip to content

Instantly share code, notes, and snippets.

@kevinywlui kevinywlui/sage_seminar.md Secret
Last active Jul 9, 2019

Embed
What would you like to do?

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
You can’t perform that action at this time.