old="0004937" # sed removes leading zeroes from stdin new=$(echo $old | sed ‘s/^0*//‘)
Bash: Removing leading zeroes from a variable
原文：https://www.cnblogs.com/kakaisgood/p/11338666.html
