2013-05-21 13:46:42 -04:00
|
|
|
#
|
|
|
|
|
# Opens man pages in Dash.app.
|
|
|
|
|
#
|
|
|
|
|
# Authors:
|
|
|
|
|
# Sorin Ionescu <sorin.ionescu@gmail.com>
|
|
|
|
|
#
|
|
|
|
|
|
2017-07-05 23:21:38 -07:00
|
|
|
mand() {
|
2013-05-21 13:46:42 -04:00
|
|
|
if (( $# > 0 )); then
|
|
|
|
|
open "dash://manpages:$1" 2>/dev/null
|
|
|
|
|
if (( $? != 0 )); then
|
|
|
|
|
print "$0: Dash is not installed" >&2
|
|
|
|
|
break
|
|
|
|
|
fi
|
|
|
|
|
else
|
|
|
|
|
print 'What manual page do you want?' >&2
|
|
|
|
|
fi
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
mand "$@"
|
