Ubuntu-fr

zephyre123

[RESOLU]comment changer le format de plusieurs fichiers en CLI

Bonjour,

Je me pose la question suivante comment faire pour changer le format de plusieurs fichiers en ligne de commande.
En me basant sur mon livre que j'ai acheté = "la ligne de commande par l'exemple", il y fait allusion à la commande convert
Cependant dans ce même livre il y est dit qu'on ne peut pas utiliser les globs pour cette même commande.
Donc la question est la suivante peut on changer en masse le format de plusieurs milliers de fichiers en ligne de commande ?

Dernière modification par zephyre123 (Le 30/04/2021, à 21:12)

kamaris

Re : [RESOLU]comment changer le format de plusieurs fichiers en CLI

Oui, avec mogrify. Si tu fais une recherche sur le forum, tu devrais trouver pas mal d'exemples.

Zakhar

Re : [RESOLU]comment changer le format de plusieurs fichiers en CLI

Tu devrais préciser qu'il s'agit d'images !...

Parce qu'on pourrait imaginer changer le format fichiers contenant des musiques, des vidéos, de la bureautique (€xc€l vers Calc), etc...

---

"A computer is like air conditioning: it becomes useless when you open windows." (Linus Torvald)

MicP

Re : [RESOLU]comment changer le format de plusieurs fichiers en CLI

Bonjour

C'est à ça aussi que servent les scripts.

Imaginons que tu veuilles convertir les images png en images jpg
tu pourrais le faire en utilisant un script bash contenant ce qui suit :

#!/bin/bash

source="png"     # Nom d'extension des fichiers à convertir
cible="jpg"      # Nom d'extension des fichiers convertis

shopt -s nullglob
for img in *."$source"; do
    convert "$img" "${img%%.*}.$cible"
done

Ou bien, tu pourrais simplement lancer la ligne de commandes suivante :

source="png"; cible="jpg"; shopt -s nullglob; for img in *."$source"; do convert "$img" "${img%%.*}.$cible"; done

Dernière modification par MicP (Le 21/03/2021, à 22:04)

serged

Re : [RESOLU]comment changer le format de plusieurs fichiers en CLI

Pour convert, il suffit d'utiliser le script de MicP. convert ne prend pas les globs, car il peut y avoir plusieurs arguments :

convert *.png toto.pdf

regroupera tous les .png dans un ficher PDF (voir la remarque)

voire :

convert *.png toto.gif

qui créera un gif animé à partir des fichier png.

On consultera la doc, pour plus de possibilités...

---

LinuxMint Vera Cinnamon et d'autres machines en MATE, XFCE... 20.x , 21.x ou 19.x
Tour : Asus F2A55 / AMD A8-5600K APU 3,6GHz / RAM 16Go / Nvidia GeForce GT610 / LM21.1 Cinnamon
Portable : LDLC Mercure MH : Celeron N3450 /RAM 4Go / Intel HD graphics 500 i915 / biboot Win 10 (sur SSD) - LM21.1 MATE (sur HDD)

zephyre123

Re : [RESOLU]comment changer le format de plusieurs fichiers en CLI

Ok merci pour vos précision.
C'est claire pour moi.
Je clos le sujet.