Shell Programming and Scripting

Or make bash accept it as a decimal value by preceding it with the base 10# indicator:

Code:

let result=10#$Var1+$Var2
echo $Var1 plus $Var2 equals $result
014 plus 2 equals 16

Dear Scrutinizer,

I am a fool. How did I not think of that?

Perhaps I should have done a quick loop to test it out too. How embarrassing.

I suppose I could trim the possible first zero twice like this:-

Code:

typeset -Z3 testdate=1
while [ $testdate -le 370 ]
do
   Var1="${testdate#0}"            # Trim first zero only if it exists
   Var1="${Var1#0}"                # Trim off a second zero if that exists
   echo $testdate $Var1
   ((testdate=$testdate+1))
done

Is that more expensive? It's a little easier to read than yours, but I'm prepared to be converted if there is a cost, especially as people may want to use this in a loop for all sorts of things.


Robin

Haha, you're being too hard on yourself I agree your suggestion looks more readable and I don't think it is more expensive.