About bash : Bash—Remove-leading-zero-for-numbers-with-double-digits
Question Detail
I have a variable in bash number which contains values 01, 02, 03, 04, 05, 06, 07, 08, 09, 010, 011, 012.
I would like to remove the leading zeros before 010, 011 and 012. I only want to remove the leading zeroes if the number is a double digit number.
How can I achieve this?
Thanks in advance!
Question Answer
Try:
a=”012″
printf ‘%02d\n’ “$((10#${a}))”
12
……………………………………………………
Another way:
a=”014″
printf “%02d\n” $(echo “obase=10;$a” |bc)
14
another one:
[[ $a =~ ^0+[1-9]{2,}$ ]] && a=”$(echo $((10#${a})))”
echo $a
This one will remove all 0s from beginning for 2 or more non-zero digit numbers.