Saya memiliki string seperti rev00000010
dan saya hanya ingin nomor terakhir, 10 dalam hal ini.
Saya sudah mencoba ini:
TEST='rev00000010'
echo "$TEST" | sed '/^[[:alpha:]][0]*/d'
echo "$TEST" | sed '/^rev[0]*/d'
keduanya tidak menghasilkan apa-apa, meskipun regex tampaknya benar (dicoba dengan regexr )