[GHC] #3375: Add a command-line option to the darcs-all script to specify the darcs repository to use

[GHC]

#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