soluzioni


Si edita il file .bash_logout aggiungendo un comando per rimuovere i propri files da /tmp/ e un banner di saluto...
steffe@dida1 /net/data/home/steffe$cat .bash_logout 
# ~/.bash_logout
rm -rf /tmp/ 2>/dev/null
clear
echo
echo
echo
echo
echo "           ii     "
echo ""
echo "   cccc    ii    aaaaaaaa        oooooo   "
echo " cc        ii    aa    aa       oooooooo  "
echo "cc         ii    aaaaaaaa      oo      oo "
echo "cc         ii    aaaaaaaa      oo      oo "
echo "cc         ii    aa    aa      oo      oo "
echo "cc         ii    aa    aa      oo      oo "
echo " cc        ii    aa    aa       oooooooo  "
echo "   ccccc   ii    aa    aa        oooooo   "
echo "                                          "
echo
echo
echo
echo
echo
sleep 3
clear
 
CHIUDI

Laboratorio di Comunicazione mediante Calcolatore - Sergio Steffè - AA 2001/2002 - PISA