Volker Braun wrote:
> http://combinat.sagemath.org/doc/developer/git_trac.html

[Hello Google,]

Canonical URLs: ;-)

 *
http://doc.sagemath.org/html/en/developer/git_trac.html#installing-the-git-trac-command

 *
http://doc.sagemath.org/html/en/developer/git_trac.html#check-out-an-existing-ticket


-leif

> 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


-- 
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.

Reply via email to