On Thu, 25 Jun 2009 at 09:37AM +0100, John Cremona wrote: > I did not know that, which will be useful. What is the canonical > recipe for getting the patch's URL? When I try I sometimes find I > have downloaded some html thing by mistake.
I didn't know that qimport did that either, so I made this bash
function:
function qimport_sage_patch
{
local HG="hg"
local PATCH=$(echo $1 | sed -e 's|/attachment/|/raw-attachment/|')
$HG qimport $PATCH
}
You can right-click on a patch link in trac, select copy, and then do
"qimport_sage_patch http://....";. You can set HG to "sage -hg" or
whatever. Put this in your .bashrc and it'll always be available.
You can also use sage_hg_patch or whatever it was that William
suggested. :)
Dan
--
--- Dan Drake <dr...@kaist.edu>
----- KAIST Department of Mathematical Sciences
------- http://mathsci.kaist.ac.kr/~drake
signature.asc
Description: Digital signature
