title: padding leading zeros in a column using awk
body: <p>I would like to left pad with &quot;0's&quot; on first column say (width 14)<br></p>
  <p>input.txt<br>
  <code>17: gdgdgd</code><br>
  <code>117: aa</code><br></p>
  <p>Need the out put as below</p>
  <pre><code>00000000000017: gdgdgd
  00000000000117: aa
  </code></pre>
  <p>i have tried the <code>awk -F: '{ printf &quot;%14i: %s\n&quot;, $1,$2 }' input.txt</code> but it's working<br></p>
  <p>padding more than <code>%09i</code> Nine is not working<br></p>