#! /bin/csh echo Expanding the source ... uncompress < ED-159.tar.Z | tar xf - cd ED-159 ./autoconfigure make echo " " echo "Now you must decide where to install ED. The default location is a" echo "personal installation in the subdirectory ED under your default directory." echo "A tiny script called edt will be put in that directory. If the directory" echo "is not in your path, please copy the edt script somewhere in the path." again: echo " " echo -n "Directory path where to install ED (example: /usr/local/bin)? " set ed_install_dir=$< if ($ed_install_dir == "") then set ed_install_dir=~/ED endif if ( ! -d $ed_install_dir ) then echo "Creating directory ..." mkdir $ed_install_dir if ( $status ) then echo "I cannot seem to create that directory, try another location." goto again endif endif if ( ! -w $ed_install_dir ) then echo "That directory does not seem writable to you, try another location." goto again endif echo Installing in $ed_install_dir mv a.out $ed_install_dir/edc cp ED.1 *.ed *.setup* ed.hlp load.key $ed_install_dir echo $ed_install_dir/edc $ed_install_dir/\$TERM.ed \~/ed.setup 0 0 -u -u \$\* > $ed_install_dir/edt chmod 755 $ed_install_dir/edt echo Install complete. Here is your execution script: cat $ed_install_dir/edt