TechKnack

Recently I set up an SVN repository in the hopes that maybe I can show off some of my programming work to potential clients (or maybe just other people who are interested). I ran into sufficient trouble during setup that I thought it would be a good idea to give a run-down of my [...]

One thing it seems bash has no tool for is padding strings. If you want to left-pad a number (say, 3) with zeros to a certain “string width” (say, 5 characters wide), you could do:

$ echo `printf "%05d" 3`
00003

However, this only works with numbers. Actually, it only works with integers (bash can’t handle [...]