Bash: Removing leading zeroes from a variable old="0004937" # sed removes leading zeroes from stdin new=$(echo $old | sed 's/^0*//')