Existem pelo menos duas maneiras de fazer isso:
sed O
exemplo a seguir executa a substituição de string usando sed.
old="0004937"
# sed removes leading zeroes from stdin
new=$(echo $old | sed 's/^0*//')Manipulação de string embutida do bash O
exemplo a seguir usa a manipulação de string embutida do bash com extglob. O extglob é usado para expandir a palavra ‘+ (0)’. Verifique se seu bash está usando extglob executando o comando ‘shopt’.
old="0004937"
# Removes 1 or more longest occurrences from
# the beginning of the string
new=${old##+(0)}Verifique o TLDP para obter mais detalhes sobre a manipulação de strings.