From 2863f80be896bdbc5bf2507c81d5331cc96482b3 Mon Sep 17 00:00:00 2001 From: grai Date: Tue, 22 Jul 2008 03:26:34 +1000 Subject: man: reject unrecognized flags --- bin/man | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/bin/man b/bin/man index 2ea92de4..bc51dae0 100755 --- a/bin/man +++ b/bin/man @@ -67,14 +67,15 @@ fn dohtml { # # parse flags and sections # +fn usage { echo 'Usage: man [-hnpPtw] [-s sec] [0-9] [0-9] ... [--] name1 name2 ...' >[1=2] } cmd=donroff sec=() S=$PLAN9/man d=0 while(~ $d 0) { if(~ $#* 0) { - echo 'Usage: man [-hnpPtw] [-s sec] [0-9] [0-9] ... [--] name1 name2 ...' >[1=2] - exit + usage + exit 1 } if(test -d $S/man$1){ sec=($sec $1) @@ -88,6 +89,7 @@ while(~ $d 0) { case -w ; cmd=doecho ; shift case -h ; cmd=dohtml ; shift case -- ; d=1 ; shift + case -* ; usage ; exit 1 case * ; d=1 } } -- cgit v1.2.3