What about adding a -pull switch to the script then? Another idea I had at one point was a script that one can download and run to the get the latest darcs Factor tree. Basically you check if a repos/Factor/ exists in the current directory, and if not, do a 'darcs get' before doing the whole build.
Ideally the script should be runnable both from the directory containing repos/Factor/, as well as inside repos/, and inside repos/ Factor/. It should support the 'get' as well as 'pull/rebuid' operations in the first case, and the 'pull/rebuild' operations in the other cases. If you implement this then it would make it easier for beginners to try out the darcs version. Slava On 19-Jan-07, at 1:16 AM, Eduardo Cavazos wrote: > On Thursday 18 January 2007 22:47, Slava Pestov wrote: > >> How about adding a 'darcs pull' in there? > > It sorta makes sense to have it in there and I thought about it. A > pull is > usually what preceeds running rebuild-factor. However, I do pulls > from time > to time to see what's going on in the tree, but I build less > frequently. For > example, when you're working on the vm or compiler, I wait for the > smoke to > clear before rebuilding. :-) So I keep the pull action separate. > > Ed > > ---------------------------------------------------------------------- > --- > Take Surveys. Earn Cash. Influence the Future of IT > Join SourceForge.net's Techsay panel and you'll get the chance to > share your > opinions on IT & business topics through brief surveys - and earn cash > http://www.techsay.com/default.php? > page=join.php&p=sourceforge&CID=DEVDEV > _______________________________________________ > Factor-talk mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/factor-talk ------------------------------------------------------------------------- Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay panel and you'll get the chance to share your opinions on IT & business topics through brief surveys - and earn cash http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV _______________________________________________ Factor-talk mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/factor-talk
