Patch(es) at #4370 ready for review. Cheers, gsw
On 26 Okt., 14:21, "John Cremona" <[EMAIL PROTECTED]> wrote: > It is now #4370. > > John > > 2008/10/26 mabshoff <[EMAIL PROTECTED]>: > > > > > Minh Nguyen wrote: > >> Hi folks, > > >> As explained in the "Sage Developer's Guide", it's very easy to clone > >> the sage-main repo in order to have a repo for one's own development. > >> Cloning this repo is painless since all one needs to do is something > >> like this: > > >> sage -clone my-repo > > >> Is there a corresponding command or process that I can use to clone the > >> doc-main repo as well? > > >> Whenever I review the official documentation that's shipped with each > >> Sage release, I would go into > > >> <sage-home>/devel/doc-main > > >> and then review the documentation from there. If I'm reviewing someone's > >> patch to any file in the latter directory, I would not clone doc-main > >> (since I don't yet know how to do that). Instead, I would go ahead with > >> applying the patch and then do more review of the patch. At this point, > >> at least one of two things can happen: > > >> [1] If the patch gets a positive review, then all is fine and good. > > >> [2] However, in case there's something wrong with the patched file and I > >> want to un-apply the patch, I would do this: > > >> sage: hg_doc.revert() > > >> This command reverts back to the stage at which the file in question is > >> unpatched. > > >> Another possibility is for me to copy a source distro to more than one > >> directory, and then build (and test) the distro from those different > >> directories. That way, I would have a copy of Sage that I can use and > >> with which I won't apply any documentation patches. And I would also > >> have another copy of Sage for applying documentation patches. Building > >> one copy of a source distro usually takes a _very_ long time on each > >> machine that I have access to --- and running all standard tests further > >> add to my waiting time. As you can imagine, repeating the build and test > >> processes on the same machine for another copy of the same source distro > >> would further add to the waiting time. (Man, I can't wait to work on > >> Sage ;-) > > > Hi Minh, > > > it is fairly simple to add a clone command for the doc repo. If you > > want it just open a ticket and someone will take care of it. You can > > even try yourself - just look at local/bin/sage-clone and ignore > > nearly everything toward the end since that deals with build file > > issues. > > >> -- > >> Regards > >> Minh Van Nguyen > > > Cheers, > > > Michael > > >> Web:http://nguyenminh2.googlepages.com > >> Blog:http://mvngu.wordpress.com --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---