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,
ros
arcmap
apache-ode
go-echo
nosuchfile
buybutton.js
akhq
gjs
jquery-ui
pipeline
absolute-value
prometheus
flutter-custompaint
uinavigationbarappearance
custom-error-handling
launchctl
routerlink
backpressure
ms-access-2003
clrprofiler
easy68k
vueuse
gimpfu
login-script
team-explorer
pfsense
scope-resolution
autopostback
unapply
ado.net-entity-data-model