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,
azure-machine-learning-service
robot
nexus
bootstrap-selectpicker
vscode-debugger
video
hint
rstudio
mod-evasive
nodename
elementary-functions
influxdb-python
mariasql
facebook-business-manager
miragejs
rsa-sha256
rails-administrate
oledbconnection
usergroups
vlc.dotnet
raspberry-pi
react-native-modalize
htmllint
website-deployment
shader
branch.io
class-pattern
flysystem
django-1.8
cab