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#
| 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 $
| 13# $Id: makewhatis.local.sh,v 1.1 1996/05/14 10:27:27 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";;
--- 14 unchanged lines hidden --- | 14
15PATH=/bin:/usr/bin:$PATH; export PATH
16opt= dirs= localdirs=
17
18for arg
19do
20 case "$arg" in
21 -*) opt="$opt $arg";;
--- 14 unchanged lines hidden --- |