# HG changeset patch # User Pascal Bellard # Date 1215774507 0 # Node ID 4da66bddc61a19a798bf0cb089f4f41182a4b1c8 # Parent 74935d005590441e2bc9bc16bee0215143ec7a09 Add man diff -r 74935d005590 -r 4da66bddc61a tinyutils/man --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tinyutils/man Fri Jul 11 11:08:27 2008 +0000 @@ -0,0 +1,10 @@ +#!/bin/sh +SECTION=all +if [ -n "$2" ]; then + SECTION=$1 + shift +fi +TOPIC=$1 +wget -O - "http://man.he.net/?topic=$TOPIC§ion=$SECTION" 2> /dev/null | \ +awk 'BEGIN { s=0 } /
/ { s=1 } { if (s) print } /<\/PRE>/ { s=0 }' | \
+sed -e 's/<[^>]*>//g' -e 's/<//g' -e 's/&/&/g' | less