Как сформировать имена файлов из разных папок

[Aleks.Sinjavin]

Есть файлы в разных директориях

dir1/a.txt
dir1/b.txt
dir1/c.txt
dir2/d.txt
dir3/e.txt

Должно получиться:

~/dir0/0001.txt
~/dir0/0002.txt
~/dir0/0003.txt
~/dir0/0004.txt
~/dir0/0005.txt

То есть файл a.txt должен стать 0001.txt, b.txt должен стать 0002.txt и так далее. Как сделать?
ТС, как видно по состоянию на 19/03/2021 потерял интерес к созданной им теме (пометка Решено в теме отсутствует, тема оставлена не закрытой, сообщений в теме давно не было). На реплики форумчан реакции со стороны ТС нет. Тема стародавняя (последнее сообщение в топике: 31/08/2020; последнее сообщение от ТС в топике: 31/08/2020). Модератором раздела принято решение закрыть тему.
--zg_nico

[ALiEN]

Код: (bash) [Выделить]

#!/bin/bash
IN='/path/to/source/dir' # папка с исходными файлами
OUT='/path/to/dest/dir'  # папка назначения
C=1
find "$IN" -iname '*.txt' | while read F; do
  mv -iv "$F" "$OUT/$(printf '%04d' $C).txt"
  C=$((C+1))
done
Не тестил особо, потренируйтесь "на кошках".