Problema risolto:se vogliamo che vengano intraprese determinate azioni dopo il logout da Gnome è necessario inserire i comandi all'interno del file /etc/gdm/PostSession/Default Credo che questo si verifichi perchè Gnome non avvia una vera e propria shell di login (correggetemi se sbaglio); ho potuto inoltre constatare che invece il file ~/.profile viene comunque letto.
Un saluto a tutti! 2009/3/3 roberto ghislandi <[email protected]> > > > Il giorno 2 marzo 2009 20.23, Dario Pilori <[email protected]> ha > scritto: > >> On Mon, Mar 2, 2009 at 17:00, roberto ghislandi <[email protected]> >> wrote: >> > Idem come sopra.. >> > Il punto, a mio avviso, sembra un altro: infatti la shell legge >> > correttamente le istruzioni che sono situate in ~/.profile, >> > per cui, al momento del login le cose sembrano andare per il verso >> giusto. >> > Il problema rimane circoscritto al logout dell'utente: ho provato pure >> ad >> > aggiungere un semplice >> > echo "Sto eseguendo il logout" >> > per vedere se era un problema di comandi scritti male.. Ma nemmeno il >> > semplice comando echo viene visto. >> > Ho anche forzato la bash a leggere il file con il comando >> > . .bash_logout >> > in questo modo il file viene letto e i comandi contenuti sono eseguiti >> > correttamente >> > Quindi si tratta proprio della bash che non ne vuole sapere di leggersi >> da >> > sola quel maledetto file.. >> > Oppure non so cos'altro possa essere.. >> > > > Pian piano sto individuando il problema.. > > Se mi collego da remoto via ssh ed eseguo il login con il nostro famigerato > utente, tutto procede per il verso giusto: > ~/.profile viene letto ed eseguito correttamente COSI' COME ~/.bash_logout. > > Se invece mi collego direttamente dal portatile accedendo dalla finestra di > login di gnome accade che, > una volta entrato nell'account, ~/.profile viene letto e la partizione > condivisa montata; > ma quando mi scollego (sia che riavvio, sia che eseguo un semplice logout > dell'utente sempre da gnome) la partizione non viene smontata > perchè, a mio avviso, ~/.bash_logout non viene letto. > > Ora, non so se tutto questo possa avere un senso, ma, dopo numerose prove, > quello che posso constatare è la situazione appena descritta. > Alla luce di queste nuove considerazioni, avreste qualche ulteriore > suggerimento? > > > >> Spulciando la documentazione di Bash, ho notato questa riga nel file >> /usr/share/doc/bash/README.Debian.gz : >> >> - Enable System-wide .bash.logout file for interactive shells. >> >> Quindi prova a fare un paio di symlink per vedere se lo cerca con >> altro nome, tipo: >> ln -s ~/.bash_logout ~/.bash.logout >> >> Oppure il file ~/.logout sembra essere lo standard per le altre shell [1]: >> ln -s ~/.bash_logout ~/.logout > > > Proverò anche a fare quello che dici qui sopra e ti faccio sapere.. > > >> >> Poi controlla i permessi di quel file. A me ha i permessi 755 e >> funziona a dovere. > > > Ovviamente era una delle prime cose che ho controllato.. > >> >> >> [1] >> http://rcsg-gsir.imsb-dsgi.nrc-cnrc.gc.ca/documents/advanced/node125.html >> -- >> Dario Pilori >> -Linux registered user #406515 >> -Debian GNU/Linux "squeeze" user >> >> >> >> -- >> Per REVOCARE l'iscrizione alla lista, inviare un email a >> [email protected] con oggetto "unsubscribe". Per >> problemi inviare un email in INGLESE a [email protected] >> >> To UNSUBSCRIBE, email to [email protected] >> with a subject of "unsubscribe". Trouble? Contact >> [email protected] >> >> > > > -- > Roberto Ghislandi > > FARGO FILM > Via A. De Togni 7 > 20123 Milano, Italy > T: +39 02 874 310 > F: +39 02 80 550 20 > Cell: 335 7760432 > E: [email protected] > -- Roberto Ghislandi FARGO FILM Via A. De Togni 7 20123 Milano, Italy T: +39 02 874 310 F: +39 02 80 550 20 Cell: 335 7760432 E: [email protected]
