Outils pour utilisateurs

Outils du site


convertir_des_images_jpeg_en_png_et_reciproquement

Différences

Ci-dessous, les différences entre deux révisions de la page.


convertir_des_images_jpeg_en_png_et_reciproquement [2022/05/08 11:27] (Version actuelle) – créée - modification externe 127.0.0.1
Ligne 1: Ligne 1:
 +====== Convertir des images JPEG en PNG et réciproquement ======
 +
 +===== Conversion simple =====
 +JPEG vers PNG
 +<code>
 +mogrify -format jpg *.png
 +</code>
 +Bien sûr, on peut utiliser un motif plus précis que "*.png" (par exemple "Screenshot_20220508_08*.*") pour peu qu'il soit compréhensible par le shell utilisé.
 +
 +PNG vers JPEG
 +<code>
 +mogrify -format png *.jpeg
 +</code>
 +
 +===== Conversion avec modifications =====
 +PNG vers JPEG
 +<code>
 +mogrify -format jpg -quality 80 -resize 40% *.png
 +</code>
 +
 +===== En jouant sur les noms de fichiers =====
 +Dans ces exemples on utilise la commande //ls// pour sélectionner les fichiers auxquels on va appliquer la conversion et les [[https://www.gnu.org/software/bash/manual/html_node/Shell-Parameter-Expansion.html|règles d'expansion des paramètres]] de //bash//((Ici, //bash// est exécuté en tant que sous-shell du shell auquel la ligne commande est soumise.)) pour manipuler les noms des fichiers résultants.
 +
 +On collecte suivant plusieurs motifs :
 +<code>
 +ls -1 motif-1.png motif2.png motif-3.png | xargs -n 1 bash -c 'convert "$0" "${0%.png}.jpg"'
 +</code>
 +On collecte suivant un seul motif et on ne garde que les éléments distinctifs des noms de fichiers :
 +<code>
 +ls -1 Screenshot_20220508_08*.* | xargs -n 1 bash -c 'convert "$0" "${0#*20220508_08}.jpg"'
 +ls -1 *.png.jpg | xargs -n 1 bash -c 'mv "$0" "${0/.png}"'
 +</code>
  
convertir_des_images_jpeg_en_png_et_reciproquement.txt · Dernière modification : 2022/05/08 11:27 de 127.0.0.1