#!/bin/sh - PATH=/usr/local/gnu/bin:/usr/um/gnu/bin:$PATH gnuman=/usr/local/gnu/man:/usr/um/gnu/man # gnu - run command under a gnu-primary environment # Steve Kinzler, kinzler@cs.indiana.edu, Jul 94 # http://www.cs.indiana.edu/~kinzler/home.html#unixcfg export=t; bad= while : do case $# in 0) break;; *) case "$1" in -e) export=;; --) shift; break;; -h) bad=t; break;; -*) bad=t; echo "$0: unknown option ($1)" 1>&2;; *) break;; esac shift;; esac done case "$#,$bad" in 0,*|*,?*) cat << EOF 1>&2 usage: $0 [ -e ] command ... -e don't export gnu-primary PATH (ineffective with POSIX shells) EOF exit 1;; esac case "$export" in ?*) export PATH;; esac case "$MANPATH" in '') MANPATH="$gnuman";; *) MANPATH="$gnuman:$MANPATH";; esac export MANPATH exec ${1+"$@"}