> > Would you normally be in SAGE_ROOT to do the git pull in the first > place? It is easy to get into the habit of running make right after > pulling: "git pull trac develop; make" >
You only need to be in the Sage directory, not necessarily in the root, to run git commands. > > > sage -make > > shortcut would be useful...or I could just write an alias. > > ... so I don't quite understand where you would be to run this. > > Hence why the above command would be useful. Best, Travis -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
