#3375: Add a command-line option to the darcs-all script to specify the darcs
repository to use
---------------------------------+------------------------------------------
Reporter: seliopou | Owner: seliopou
Type: feature request | Status: assigned
Priority: normal | Milestone:
Component: Build System | Version: 6.10.3
Severity: trivial | Resolution:
Keywords: darcs git | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Comment (by seliopou):
The latest patch (v4) has been tested on a checkout of
{{{http://darcs.haskell.org}}}, a local checkout, and the git mirror. I
also added a more descriptive commit message, reproduced below:
{{{
Replace push-all with darcs-all
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
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3375#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
