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]

Rispondere a