# # Opens man pages in Dash.app. # # Authors: # Sorin Ionescu # function mand { 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 "$@"