Skip to content

Instantly share code, notes, and snippets.

@lkptrzk
Created September 6, 2012 15:16
Show Gist options
  • Save lkptrzk/3657247 to your computer and use it in GitHub Desktop.
Save lkptrzk/3657247 to your computer and use it in GitHub Desktop.
`man` replacement for git bash on windows
#!/bin/sh
# man.sh - `man` replacement for git bash on windows
# Dependencies (outside of git bash):
# wget (http://users.ugent.be/~bpuype/wget/)
# TODO:
# use sed to remove <head> & tags, convert HTML entities
# Notes:
# `sed -r` = allows gnu regex extensions (like +)
# `wget -qO -` = non-verbose output, returned file to stdout instead of file
#
if [ $# -eq 0 ] ; then
echo "No command specified to get man page for"
exit 1
fi
url="http://man.he.net/?section=all&topic="
# The extra `+` at the end of the querystring doesn't hurt
for arg in $@ ; do
url=$url$arg"+"
done
wget -qO - $url | less
@cwillig
Copy link

cwillig commented May 28, 2015

Considering that this command will also pull HTML tags, try the following instead of just piping to less:
wget -qO - $url | sed 's/<[^>]*>//g' | less

sed command courteous of stackoverflow.

@beatlegeuse
Copy link

@lkptrzk, all TODO items have been completed in this fork.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment