Ho una stringa come rev00000010
e voglio solo l'ultimo numero, 10 in questo caso.
Ho provato questo:
TEST='rev00000010'
echo "$TEST" | sed '/^[[:alpha:]][0]*/d'
echo "$TEST" | sed '/^rev[0]*/d'
entrambi non restituiscono nulla, anche se il regex sembra essere corretto (provato con regexr )