diff options
Diffstat (limited to 'darcs-all')
| -rw-r--r-- | darcs-all | 36 |
1 files changed, 18 insertions, 18 deletions
@@ -22,6 +22,24 @@ use strict; # ./darc-all push --dry-run # To see what local patches you have relative to the main repos # +# -------------- Flags ------------------- +# -q says to be quite, and -s to be silent. +# +# -i says to ignore darcs errors and move on to the next repository +# +# -r repo says to use repo as the location of package repositories +# +# --checked-out says that the remote repo is in checked-out layout, as +# opposed to the layout used for the main repo. By default a repo on +# the local filesystem is assumed to be checked-out, and repos accessed +# via HTTP or SSH are assumed to be in the main repo layout; use +# --checked-out to override the latter. +# +# --nofib, --testsuite also get the nofib and testsuite repos respectively +# +# The darcs get flag you are most likely to want is --complete. By +# default we pass darcs the --partial flag. +# # ------------ Which repos to use ------------- # darcs-all uses the following algorithm to decide which remote repos to use # @@ -52,24 +70,6 @@ use strict; # root one. So the remote repos must be laid out in one of the two # formats given by <local-path> and <remote-path> in the file 'packages'. -# -------------- Flags ------------------- -# -q says to be quite, and -s to be silent. -# -# -i says to ignore darcs errors and move on to the next repository -# -# -r repo says to use repo as the location of package repositories -# -# --checked-out says that the remote repo is in checked-out layout, as -# opposed to the layout used for the main repo. By default a repo on -# the local filesystem is assumed to be checked-out, and repos accessed -# via HTTP or SSH are assumed to be in the main repo layout; use -# --checked-out to override the latter. -# -# --nofib, --testsuite also get the nofib and testsuite repos respectively -# -# The darcs get flag you are most likely to want is --complete. By -# default we pass darcs the --partial flag. -# $| = 1; # autoflush stdout after each print, to avoid output after die |