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,
numpy-memmap
spring-amqp
userchrome.css
cx-freeze
httparty
qcombobox
gqlquery
oracle-enterprise-manager
hibernateexception
groovysh
carrot2
libssh
flutter-notification
viewbuilder
nsepy
reflection
asp.net-4.5
tileserver-gl
nxwl
access-control
xmlwriter
method-interception
hypergraph
fillable
submission
pdu
buildbox
vocabulary
sembast
remote-login