Mon Aug 3 03:44:13 PDT 2009 Simon Marlow <[email protected]>
UNDO: Add -r option to darcs-all, and remove push-all (#3375)
Ignore-this: 6871c15294113898902be90210d9a7a9
Contributed by: [email protected]
This patch modifies darcs-all to have feature parity with push-all by
recognizing two new options.
* -i, equivalent to --ignore-failure in push-all
* -r <repo>, specifies the remote repository darcs commands will use
Some example commands:
Get the libraries from a repository of your choosing. This is useful
when working with a git mirror:
$ ./darcs-all -r http://darcs.haskell.org get
Pull changes. Used to be:
$ ./push-all --pull http://darcs.haskell.org
Is now:
$ ./darcs-all -r http://darcs.haskell.org pull
Or to use the default remote of the ghc repository:
$ ./darcs-all pull
M ./darcs-all -79 +33
A ./push-all
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20090803104413-12142-947487e2f1af189354e7f87e15027f9cdcf72bec.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
