Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

answered 9 years ago

FrédéricC gravatar image

cd my_sage_directory git pull trac develop make

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

click to hide/show revision 2
No.2 Revision

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.