> 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