perfetto, grazie. Fabio
Giuseppe Sacco wrote: > Il giorno ven, 28/09/2007 alle 11.50 +0200, Fabio Marcone ha scritto: >> ciao a tutti, >> ho bisogno di ricavare il tipo di filesystem di una cartella. dato che >> non mi sono venuti in mente comandi shell che risolvono il problema (non >> esistono? spero che qualcuno mi smentisca), ho fatto un piccolo script >> che fa il parsing di `mount` cercando la partizione. >> >> il problema è per diventato: come faccio a capire se la partizione >> contenente la dir è montata? >> >> es: path=/home/test1/test2 > > $ df -PT /home/test1/test2 | awk '/^\// {print $2}' > -- Dott. Fabio Marcone 2T srl Telefono +39 - 0871- 540154 Fax +39 - 0871- 571594 Email fabio.marcone(AT)duet.it Indirizzo Viale B. Croce 573 66013 Chieti Scalo (CH) GNU/Linux registered user #400424 -- 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]