Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
PATCH: run-help tidying
- X-seq: zsh-workers 8545
- From: Clint Adams <schizo@xxxxxxxxxx>
- To: zsh-workers@xxxxxxxxxxxxxx
- Subject: PATCH: run-help tidying
- Date: Thu, 4 Nov 1999 13:48:19 -0500
- Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
This is mostly for the ./dot :/colon translation
but some English has been prettied and $HELPDIR
is checked for validity.
--- run-help.dist Thu Nov 4 11:35:57 1999
+++ run-help Thu Nov 4 13:43:47 1999
@@ -11,16 +11,19 @@
emulate -R zsh
setopt localoptions
+[[ $1 == "." ]] && 1="dot"
+[[ $1 == ":" ]] && 1="colon"
+
# Check whether Util/helpfiles has been used to generate zsh help
if [[ $1 == "-l" ]]
then
- if [[ -n "${HELPDIR:-}" ]]
+ if [[ -n "${HELPDIR:-}" && -d $HELPDIR ]]
then
- echo 'Here is a list of topics for which help is available:'
+ echo "Here is a list of topics for which special help is available:"
echo ""
print -rc $HELPDIR/*(:t)
else
- echo 'There is no list of help topics available at this time'
+ echo "There is no list of special help topics available at this time."
fi
return 0
elif [[ -n "${HELPDIR:-}" && -r $HELPDIR/$1 && $1 != compctl ]]
@@ -29,7 +32,7 @@
return $?
fi
-# No zsh help, use "whence" to figure out where else we might look
+# No zsh help; use "whence" to figure out where else we might look
local what places newline='
'
integer i=0 didman=0
Messages sorted by:
Reverse Date,
Date,
Thread,
Author