non credo sia quella la soluzione, io sto con cacao74.
altrimenti, con quella spiegazione, echo "1234" | grep -E "[^0-9]" dovrebbe restituire 1234 , cosa che non accade.