Stripping leading zeros with bash

I needed to strip leading zeros from a variable, and found the “#” modifier in the shell manual pages:

$ FOO=09

$ echo ${FOO#0}

The number of occurences of the value following the # indicates how many to strip, and can also be applied to ASCII characters:


$ echo ${FOO#AA}

This is some nifty stuff!

This article was posted by Matty on 2005-12-11 16:56:00 -0400 -0400