Skip to content
  • Simon Marlow's avatar
    REDO: Add -r option to darcs-all, and remove push-all (#3375) · 87787d75
    Simon Marlow authored
    rolling back:
    
    Mon Aug  3 11:44:13 BST 2009  Simon Marlow <marlowsd@gmail.com>
      UNDO: Add -r option to darcs-all, and remove push-all (#3375)
      Contributed by: seliopou@gmail.com
          
      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
    87787d75