summaryrefslogtreecommitdiff
path: root/darcs-all
diff options
context:
space:
mode:
authorsimonpj@microsoft.com <unknown>2009-12-21 16:05:11 +0000
committersimonpj@microsoft.com <unknown>2009-12-21 16:05:11 +0000
commitbc6f3d39d5f2811282d2948a25da8e4c8481f4c8 (patch)
tree30dcb760e9f3fc109479070f9e4ff86c467c1243 /darcs-all
parent29bc0d199c6596232e7d287cf5a1671a5c30b317 (diff)
downloadhaskell-bc6f3d39d5f2811282d2948a25da8e4c8481f4c8.tar.gz
Add comments to darcs-all
The comments explain how darcs-all decides what repo to use
Diffstat (limited to 'darcs-all')
-rw-r--r--darcs-all31
1 files changed, 31 insertions, 0 deletions
diff --git a/darcs-all b/darcs-all
index 08fa8c5f52..6340315522 100644
--- a/darcs-all
+++ b/darcs-all
@@ -22,6 +22,37 @@ use strict;
# ./darc-all push --dry-run
# To see what local patches you have relative to the main repos
#
+# ------------ Which repos to use -------------
+# darcs-all uses the following algorithm to decide which remote repos to use
+#
+# It always computes the remote repos from a single base, $repo_base
+# How is $repo_base set?
+# If you say "-r repo", then that's $repo_base
+# othewise $repo_base is set thus:
+# look in _darcs/prefs/defaultrepo,
+# and remove the trailing 'ghc'
+#
+# Then darcs-all iterates over the package found in the file
+# ./packages, which has entries like:
+# libraries/array packages/array darcs
+# or, in general
+# <local-path> <remote-path> <vcs>
+#
+# If $repo_base looks like a local filesystem path, or if you give
+# the --checked-out flag, darcs-all works on repos of form
+# $repo_base/<local-path>
+# otherwise darcs-all works on repos of form
+# $repo_base/<remote-path>
+# This logic lets you say
+# both darcs-all -r http://darcs.haskell.org/ghc-6.12 pull
+# and darcs-all -r ../HEAD pull
+# The latter is called a "checked-out tree".
+
+# NB: darcs-all *ignores* the defaultrepo of all repos other than the
+# 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