Joined January 2016
·
neo954

GONG Jie

BJ, CHINA
·
·

Posted to Bash: Removing leading zeroes from a variable over 1 year ago

Or without extglob, we can use this.

old="0004937"
new=$((10#$old))
Achievements
1 Karma
0 Total ProTip Views