http://combinat.sagemath.org/doc/developer/git_trac.html
In particular check out the sections on "Installing the Git-Trac Command" and then "Check out an Existing Ticket" On Saturday, August 13, 2016 at 6:55:10 PM UTC+2, Bill Page wrote: > > Sorry, I'm still confused. What exactly do I have to do to checkout a trac > ticket for testing and where is it documented? Google searches only seem to > mention --dev. > > On Aug 13, 2016 12:19 PM, "leif" <not.r...@online.de <javascript:>> wrote: > > Bill Page wrote: > > It seems like I am always confused when I try to use sagetrac, but I > > did not expect this: > > > > wspage@sarah ~/sage $ ./sage --dev checkout --ticket=21231 > > sage-run received unknown option: --dev > > usage: sage [options] > > Try 'sage -h' for more information. > > The "devscripts" had been deprecated and have now been removed (in > favour of Volker's "git-trac" command), since 7.0 IIRC. > > You can install it independently (outside a Sage installation), but it's > meanwhile also an optional Sage package (named 'git_trac'). > > I'd have to dig where it's documented, but > > git help trac > > should give you an overview (after installation of course). > > The source code is on GitHub (vbraun or sagemath, not sure). > > > You can otherwise of course use plain git (cf. "Git the hard way" in > Sage's Developer Guide). > > > -leif > > > > What am I doing wrong? > > > > I just did > > > > wspage@sarah ~ $ git clone git://github.com/sagemath/sage.git > > wspage@sarah ~ $ cd sage > > wspage@sarah ~/sage $ make > > > > Build completed without errors. > > > > wspage@sarah ~/sage $ ./sage > > > > seems to work as expected. > > > -- > 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 sage-devel+...@googlegroups.com <javascript:>. > To post to this group, send email to sage-...@googlegroups.com > <javascript:>. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > > > -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
