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,
chef-policyfile
typeid
prelaunch
postback
log4js-node
fcmp
win-prolog
atomix
vivaldi
tvos13
addrange
execve
rllib
urlconf
neon
qlabel
libimobiledevice
detox
react-native-community
amazon-chime
atlaskit
glpk
scalapb
distinct-on
biometrics
ada95
mysql-x-devapi
imagemagick-montage
spring-junit
argouml