Re: Daddy Long Ears

Le 14/08/2024 à 05:59, Thierry HOUX a écrit :

Sur ce PC, il te suffit d'installer le package ImageMagick.
Ensuite, en mode console, dans le répertoire où tu à mis toutes les photos
à redimentionner (avec l'extension jpg, mettre JPG si c'est ainsi que tu
as tes photos), tu tapes la commande:
magick *.jpg -resize 50% *p.jpg

Attention, c'est la syntaxe de Imagemagick 7 qui est totalement différente de celle des versions précédentes. Par défaut les divers serveurs de packets linux installent la version 6, et pour avoir la 7 il faut l'installer à partir des sources et compiler à la main. Normalement Imagemagick 6 est présent à l'install de base, pas besoin de l'installer.
La syntaxe pour resizer une image de 50% :
convert -resize 50% toto.jpg toto_small.jpg
Pour en faire plusieurs d'un coup c'est plus compliqué. En bash (ce que tu dois avoir par défaut) ça donne
for fich in *jpg
do
racine="${fich%.*}"
convert -resize 50% -verbose $fich $racine"_small".jpg
done
PS: je n'utilise pas bash mais csh, et la syntaxe pour trouver le radical de toto.jpg est bien plus simple. J'ai cherché comment faire en bash pendant 10 minutes sans succès, et j'ai fini par demander à ChatGPT qui m'a donné la réponse immédiatement. Il y a peut-être plus simple.
PS2: je doute fort que la syntaxe indiquée par Thierry pour IM7 fonctionne, car le "*p.jpg" va être interprété par le shell avant de lancer magick, et il va renvoyer "no such file or directory" a priori.
--
F.J.