config

commit 5eed571dcd66cf7588f7829d2c3a90b87d90a89b
parent dc67bdbea240315c8b2f31140c546e7915520dbe
Author: Jacob R. Edwards <n/a>
Date:   Tue,  9 Nov 2021 14:11:06 -0800

Make UNIX and plan9port man pages more uniform

Diffstat:
M
local/bin/bin/man
 | 
5
+++--

1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/local/bin/bin/man b/local/bin/bin/man
@@ -9,6 +9,7 @@
 
 set -o pipefail
 
-man() { "$(whereis man)" -c "$@" | col -b; }
+9man() { 9 man "$@" | sed 's/^     //'; }
+uman() { "$(whereis man)" -ca "$@" | col -b; }
 
-man -a "$@" 2>/dev/null || 9 man "$@"
+uman "$@" 2>/dev/null || 9man "$@"