Awk

DOCS

awk for adding leading zeros

  1. This will take 1.txt 2.txt 3.txt and mv it to 01.txt 02.txt 03.txt
  2. bug, there is no text in the $(ls) that looks for [0-9].txt files.

for i in \((ls); do mv "\)i" "\((echo \)i | awk '/^([0-9]).txt/ \

{ printf("0%s\n", $0) }')"; done