bin/darcs-meld: refer user to 'darcs help <theme>' in help output
Warning, cannot access the index:
_darcs/index: opening of '_darcs/index' failed: permission denied (Permission denied)
diff -rN -u old-bii_scripts/bin/darcs-meld new-bii_scripts/bin/darcs-meld
--- old-bii_scripts/bin/darcs-meld 2022-11-28 23:34:14.754091825 +0100
+++ new-bii_scripts/bin/darcs-meld 2022-11-28 23:34:14.754091825 +0100
@@ -43,12 +43,14 @@
echo " 'PATCH', 'FROM-PATCH' and 'TO-PATCH' are *patch specifications*"
echo " They ary usually the first line of the patch comment without"
echo " the leading ' * ' and enclosed in single quotes."
+ echo " See 'darcs help diff' for a comprehensive list of options."
echo "Special characters in patch specifications:"
echo " Since a *patch specification* is a *regular expression*,"
echo " all characters that have special meanings in regular expressions"
echo " should be preceeded by a backslash '\\' if they are to be"
echo " interpreted literally. This is for example the case for"
echo " these characters: *()[]"
+ echo " See 'darcs help patterns' for details."
exit 1
fi
patch 25c91541933882fc65a43cee1db5070a9a3f45cf
Author: Ben Franksen <benjamin.franksen@helmholtz-berlin.de>
Date: Tue Mar 30 12:49:53 CEST 2021
* bin/darcs-meld: refer user to 'darcs help <theme>' in help outpu