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}'
