> in data 28/05/2010 12:45:
> Problemino: devo estrarre alcuni nomi di
> file/directory. Lo risolvo
> in maniera semplice con ls -al | awk {'print
> $9'} | grep vari.
non fai prima con ls -a1 | grep vari così eviti anche il
> problema
degli spazi nei nomi?
Ops.. non ci avevo pensato!!!!
Grazie