title: How to zero pad numbers in file names in Bash?
body: <p>What is the best way, using Bash, to rename files in the form:</p>
  
  <pre><code>(foo1, foo2, ..., foo1300, ..., fooN)
  </code></pre>
  
  <p>With zero-padded file names:</p>
  
  <pre><code>(foo00001, foo00002, ..., foo01300, ..., fooN)
  </code></pre>