Ciao,
ho un file con all'interno le seguenti tre linee:

0123456789
dante12345
12345dante

ora eseguo:

cat nome_file | grep -E [^0-9]

il risultato è:
dante12345
12345dante

Quello che non capisco è perche le due linee sopra non vengo eliminate. L'insieme dei caratteri 0-9, non dovrebbe essere preso in considerazione. Sicuramente mi sfugge qualcosa di concettuale ma non riesco a capire...

grazie
ciao