I've got a number such as 13 that I'd like to be 000013. Just need to add some zeros on the front. My first attempt was to find a printf line that did this. I couldn't find one :-( I'm currently using
followed by s/ /0/g; Its terrible. What would be the preferred way to do this?