soluzioni
Si edita il file .bash_logout aggiungendo un comando per rimuovere i propri
files da /tmp/ e un banner di saluto...
[steffe@lab2 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
Si noti che parecchi programmi fatti male scrivono files provvisori in /tmp/ e
poi dimenticano di cancellarli, per cui e' una buona pratica quella di fare
periodicamente pulizia.
CHIUDI
Laboratorio di Comunicazione mediante Calcolatore - Sergio Steffè - AA 2003/2004
- PISA