remove leading zero in bash

remove leading zero in bash

leading=“000100”

no_leading=$((10#$leading))

## no_leading —> 100

September 30, 2019 at 11:03AM