Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

cd my_sage_directory git pull trac develop make

This should not take as long, but still maybe a few hours.

Standard way is to do

cd my_sage_directory
 git pull trac develop
    make

make

This should not take as long, but still maybe a few hours.