soluzioni

Si edita il file .bash_logout aggiungendo un comando per rimuovere i propri files da /tmp/ e un banner di saluto...

[steffe@lab6 steffe]$ cat .bash_logout
# ~/.bash_logout
 
# invalidate the gpm selection buffer iff logging out from a
# virtual terminal
if test -x /sbin/consoletype && /sbin/consoletype fg
then if test -r /var/run/gpm.pid && test -d "/proc/$(/bin/cat /var/run/gpm.pid)"
     then kill -USR2 "$(/bin/cat /var/run/gpm.pid)"
     fi
fi
clear
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 2007/2008 - PISA