Если вы хотите переименовать эти конкретные файлы, то вот решение (статическое). Сначала переименуйте и переместите эти файлы в подкаталог. Оттуда переместите эти файлы в текущий каталог
#!/bin/bash
# rename.sh
#make a subdirectory
mkdir -p subDir
#move all files to subdirectory with rename
for i in {5754..6754}; do
mv "DBGC180_80$i" "./subDir/DBGC180_80$(($i-1))";
done
#move all files from subdirectory to current directory
for j in {5754..6754}; do
mv "./subDir/DBGC180_80$(($j-1))" "./DBGC180_80$(($j-1))"
done
#remove subdirectory
rmdir subDir
Эту программу можно изменить, сделав ее общей (динамической)