I need to strip the first 0
from all values in an array, e.g. change
array=( 01 02 03 [...] 10 [...] 20 [...] )
to
array=(1 2 3 [...] 10 [...] 20 [...] )
I think I can do this with ${parameter/pattern/string}
but I am quite lost with the syntax.