debian/csh.cshrc.debathena /etc/
debian/cshrc.debathena /usr/share/debathena-tcsh-config/
debian/csh-set-athena-user /etc/csh/login.d/