small programming question

[zavandi]

Stuart Sears <stuart at sjsears.com> wrote:
> if the files all start with the same character
> you could use the oft-ignored 'rename' command
> 
> rename 0 00 *.jpg
> 
> would replace the *first* 0 in each filename with 00

It is possible to use rename even if the files don't start with the
same character:

rename "" 0 *.jpg

would insert a '0' as the first character.