Vou avisando que não entendo muito de scripts, mas vou deixar a dica aqui porque esbarrei por aí com um script cuja eficiência eu acabei de comprovar. É para quando se tem trocentas imagens dentro de uma pasta e você quer redimensioná-las mas não é masoquita o bastante para fazer isso no GIMP, uma por uma...
Instale o
imagemagik:
sudo apt-get install imagemagik
Cole em um novo arquivo de texto no Kate ou no Gedit o seguinte:
#!/bin/sh
for file in *.png
do
echo "Resizing file $file ..."
convert -resize 16x16 $file $file
done
Obviamente,
png define o formato das imagens que o script vai "capturar" para redimensionar. Podem ser outros formatos também.
Os originais serão sobreescritos com esse script. E
16x16 define o tamanho final da imagem em pixels (nesse caso, eu estava lidando com ícones, por isso o tamanho tão reduzido.).
Salve/cole na pasta onde estão as imagens a serem redimensionadas, com qualquer nome. Pode ser necessário que se dê permissão para execução:
sudo chmod +x nomedoscript
Abra um terminal na pasta onde estão as imagens e o script (use o comando
cd ou use a tecla F4 a partir do nautilus/dolphin) e execute o script:
./nomedoscript
E é so.