#! /bin/sh # LocalCedarCommander # Copyright (C) 1991 by Xerox Corporation. All rights reserved. # Michael Plass, March 31, 1993 12:14:55 pm PST COMMANDER←INITIAL←COMMAND="$1" if test $# -gt 0 then shift fi GenerateCedarScript opt=yes world=/yourHOSTname/cedar10.1/release script=/tmp/$USER.localscript $* CEDAR←PREFIXMAP←INIT=/yourHOSTname/yourUSERname/bin/LocalCedar.pma \ /tmp/$USER.localscript "$COMMANDER←INITIAL←COMMAND"