У меня есть куча файлов с произвольными расширениями OVER (т.е. после) старых расширений; например:
a10.lua.c76c8a36-6f80-4b5e-b6a4-ed7c6817ca2e
boneaxe.gif.e65e71e9-69e6-4d64-8648-1d6a9c8c7a1f
Все они разные. Как мне автоматически удалить все эти расширения?
Предыстория: я удалил кучу вещей. Я скачал программное обеспечение для восстановления данных. Он нашел все файлы для меня, но оставил их в этом грязном формате.
Похоже, что программное обеспечение только что добавило 36-значный GUID в конце каждого имени файла. Вы можете использовать этот короткий сценарий bash, чтобы удалить их. Просто cd в папку с файлами в терминале и выполните следующее:
for i in *; do
j="$(echo "$i" | sed -e 's/\.........-....-....-....-............$//')"
mv -- "$i" "$j"
done
Будут изменены только файлы с GUID из 36 символов после точки в указанном вами формате.