Eu tenho uma string como rev00000010
e só quero o último número, 10 neste caso.
Eu tentei isso:
TEST='rev00000010'
echo "$TEST" | sed '/^[[:alpha:]][0]*/d'
echo "$TEST" | sed '/^rev[0]*/d'
ambos não retornam nada, embora o regex pareça estar correto (tentado com regexr )