Você pode usar isso no terminal para renomear os arquivos como quiser,
j=1;for i in *.txt; do mv "$i" file"$j".txt; let j=j+1;done
Ele fará o trabalho.
Explicação:
- Defina um contador
j, defina inicialmente como 1 - Inicie um loop for e use um shell glob
*.txtpara obter todos os arquivostxt. - para cada arquivo renomeie-o usando
mve aumente o contador em 1.