Home | History | Annotate | Line # | Download | only in tools 
      1 export MANDIR TMPDIR
      2 export DIRLST FILLST
      3 export LFLAG PFLAG ID
      4 
      5 MANDIR=/usr/share/man
      6 TMPDIR=/tmp
      7 DIRLST=
      8 FILLST=
      9 LFLAG=
     10 PFLAG=
     11 ID=
     12 
     13 shift
     14 
     15 while [ $# -gt 0 ]
     16 do
     17 	case $1 in
     18 	-m)
     19 		shift
     20 		MANDIR=$1
     21 		shift
     22 		;;
     23 
     24 	-t)
     25 		shift
     26 		TMPDIR=$1
     27 		shift
     28 		;;
     29 
     30 	-d | -l)
     31 		LFLAG=1
     32 		shift
     33 		;;
     34 
     35 	-p)
     36 		PFLAG=1
     37 		shift
     38 		;;
     39 
     40 	-i | -o)
     41 		shift
     42 		ID=$1
     43 		shift
     44 		;;
     45 
     46 	-s)
     47 		shift
     48 		while [ $# -gt 0 ]
     49 		do
     50 			case $1 in
     51 			[1-8])
     52 				DIRLST="$DIRLST $1"
     53 				shift
     54 				;;
     55 
     56 			*)
     57 				break
     58 				;;
     59 			esac
     60 		done
     61 		;;
     62 
     63 	-f)
     64 		shift
     65 		while [ $# -gt 0 ]
     66 		do
     67 			case $1 in
     68 			-*)
     69 				break
     70 				;;
     71 
     72 			*)
     73 				FILLST="$FILLST $1"
     74 				shift
     75 				;;
     76 			esac
     77 		done
     78 		;;
     79 
     80 	*)
     81 		echo $0: unknown option $1
     82 		exit 2
     83 		;;
     84 	esac
     85 done
     86 
     87 if [ -z "$DIRLST" ]
     88 then
     89 	DIRLST="1 2 3 4 5 6 7 8 9"
     90 fi
     91 
     92 if [ -z "$FILLST" ]
     93 then
     94 	FILLST=*.*
     95 fi
     96