У меня есть приблизительно 200 изображений, которые я оптимизировал с PunyPNG, но он добавил .png в конец, таким образом, все изображения являются .gif.png. Я не хочу должным быть вручную редактировать имя файла каждого, чтобы просто быть .gif, поэтому каков был бы самый легкий способ автоматически удалить .png из конца всех имен файлов в папке?
Во-первых, удостоверьтесь, что это на самом деле .gif файлы и не .png файлы. (Кажется более вероятным, что они - а не неверно названный .gif's неверно названного .png, но если Вы уверены...),
Откройте терминал.
Введите:
cd "/folder/in/question"
(замена фактическим именем папки)
Нажмите Enter. Введите:
for file in *.gif.png ; do mv "$file" "${file%.png}" ; done