DataMuseum.dk

top - metrics - download

    Length: 649 (0x289)
    Types: TextFile
    Names: »restdir«

└─⟦a0efdde77⟧ Bits:30001252 EUUGD11 Tape, 1987 Spring Conference Helsinki
    └─⟦this⟧ »EUUGD11/euug-87hel/sec1/shdir/restdir« 

TextFile

#! /bin/csh -f
#
#	Shell script to restore directory stack (this file should be sourced)
#
#	Author:		Paul Lew, General Systems Group, Inc.
#	Created at:	01/03/86
#	Last update:	10/08/86  05:07 PM
#
if ( $?0 ) then
	echo "...You should source this program, not execute it..."
	goto end
	endif
if ( ! ${?SAVED_WD} ) setenv SAVED_WD ~/saved_wd
if ( ! ${?filename} ) set filename = ${SAVED_WD}/cwd.wd
set _dirlist = `cat ${filename}`
set _dirs
foreach _dir (${_dirlist})			#reverse directory stack
	set _dirs = (${_dir} ${_dirs})
	end
chdir ${_dirs[1]}
shift _dirs
foreach _dir (${_dirs})
	pushd ${_dir} > /dev/null
	end
unset _dirlist _dir _dirs
end: