1#! /bin/csh -f 2 3echo "WARNING: You have just updated psl-names" 4echo "MAKE SURE YOU LOG IN AND RUN newroot.csh" 5 6