Сценарий оболочки Linux для добавления начальных нулей к именам файлов

У меня есть папка примерно с 1700 файлами. Все они называются как 1.txt или 1497.txt и т. Д. Я хотел бы переименовать все файлы так, чтобы все имена файлов состояли из четырех цифр.

То есть, 23.txt становится 0023.txt .

Какой сценарий оболочки будет делать это? Или связанный с этим вопрос: как использовать grep для сопоставления только строк, содержащих \ d.txt (т.е. одна цифра, затем точка, затем буквы txt )?

Вот что у меня есть:

for a in [command i need help with]
do
  mv $a 000$a
done

В общем, запустите это три раза, с командами, чтобы найти одну цифру, две цифры и трехзначные имена файлов (с количество начальных нулей изменено).