for file in *.png; do convert "$file" "$(basename $file .png).gif"; done
Данная команда выполняет пакетную конвертацию файлов с расширением .png в формат .gif. Команда перебирает все файлы, имеющие расширение .png в текущей директории и для каждого файла выполняет следующие действия: конвертирует файл из .png в .gif при помощи утилиты convert, переименовывает полученный .gif файл, чтобы соответствовать имени исходного .png файла. Эта команда полезна, если у вас есть несколько файлов в формате .png, которые необходимо конвертировать в формат .gif одновременно. Альтернативно, вы также можете использовать инструменты для пакетной обработки изображений, такие как Imagemagick, или написать собственный скрипт на языке программирования.