Skip to content

Instantly share code, notes, and snippets.

@jordanwade90
Created April 28, 2014 22:36
Show Gist options
  • Save jordanwade90/11386057 to your computer and use it in GitHub Desktop.
Save jordanwade90/11386057 to your computer and use it in GitHub Desktop.
Passes all arguments to plan9port's man(1); if that fails, try the unix man(1) instead.
#!/usr/local/plan9/bin/rc
# Passes all arguments to plan9port's man(1); if that fails, try the unix man(1) instead.
9 man $* >[2]/dev/null || u man $* | 9 sed -e 's/([^ ]+)[ ]+/\1 /g'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment