Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
`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

This comment has been minimized.

Copy link

@cwillig 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

This comment has been minimized.

Copy link

@beatlegeuse beatlegeuse commented Nov 8, 2017

@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