makewhatis.local.sh revision 15755
1#!/bin/sh 2# (c) Wolfram Schneider, Berlin. April 1996. Public Domain. 3# 4# makewhatis.local - start makewhatis(1) only for file systems 5# physically mounted on the system 6# 7# Running makewhatis from /etc/weekly for rw nfs-mounted /usr may kill 8# your NFS server -- all clients start makewhatis at the same time! 9# So use this wrapper instead calling makewhatis directly. 10# 11# PS: this wrapper works also for catman(1) 12# 13# $Id: makewhatis.local.sh,v 1.2 1996/04/27 12:17:01 wosch Exp $ 14 15PATH=/bin:/usr/bin:$PATH; export PATH 16opt= dirs= localdirs= 17 18for arg 19do 20 case "$arg" in 21 -*) opt="$opt $arg";; 22 *) dirs="$dirs $arg";; 23 esac 24done 25 26dirs=`echo $dirs | sed 's/:/ /g'` 27case X"$dirs" in X) echo "usage: $0 [options] directories ..."; exit 1;; esac 28 29localdirs=`find -H $dirs -fstype local -type d -prune -print` 30 31case X"$localdirs" in 32 X) echo "$0: no local-mounted manual directories found: $dirs" 33 exit 1;; 34 *) exec `basename $0 .local` $opt $localdirs;; 35esac 36