Search Results

@jim, what if num=+1 or -001

Another way, a bit more shell independent (as long as it is Posix):
$ num=0001
$ echo "$num"
0001
$ echo "$((num+=0))"
1
$ echo "$num"
1