Это лишит ведущие нули, не прибегая к нересту sed
(по крайней мере, в ksh93):
$ i=000010
$ i=${i/#*(0)}
$ ((i++))
$ echo $i
11
То же самое работает в Bash, если вы включили расширенную глобализацию (shopt -s extglob
).
Edit:
Вы также можете принудительно интерпретировать значение как base-10:
$ i=000010
$ ((i = 10#$i + 1))
$ echo $i
11