# Last edited on 1999-03-29 22:42:03 by stolfi
# Saves the DISPLAY variable in the file ~/.DISPLAY. for the benefit 
#   of ~/bin/fixdisp.csh.
# To be source'd, not executed!

unset DISPLAY
/bin/rm -f ${STOLFIHOME}/.DISPLAY
/bin/echo $DISPLAY > "${STOLFIHOME}"/.DISPLAY
