0017

Convertissez les images en WebP en utilisant FFmpeg. Vous pouvez traiter l’ensemble du répertoire en utilisant un script shell !

Convertissez les images en WebP en utilisant FFmpeg. Vous pouvez traiter l’ensemble du répertoire en utilisant un script shell !

2020.6.27

On pense que Safari prend également en charge WebP (bien qu’il s’agisse d’une version bêta), ce qui fait qu’il utilise beaucoup d’images. Pour accélérer le site, nous avons décidé d’utiliser WebP.

Le traitement par lots des images est difficile.

J’avais beaucoup d’images et je voulais les convertir toutes en même temps. Et grâce à la combinaison de png, jpg, gif et jpegs, j’ai pu les convertir en plusieurs extensions, puis les convertir en un seul fichier. J’ai fait beaucoup de recherches sur la manière de le faire parce que je devais le faire, et je l’ai fait de la manière suivante. Nous sommes Windows.

code

Écrivons le code immédiatement. Enregistrez le code suivant sous “webp.sh”.

 # ! /bin/bash.

cd ★path vers le répertoire que vous souhaitez traiter
pour le fichier dans find . -maxdepth 5 -type f ; do
faname_ext="${file##.}" # Obtenez l'extension.
si ["$faname_ext" ! = 'gif' ] ; puis # Traiter les non gifs
fname=${file%.
#Nom du fichier, à l'exclusion de l'extension. Contient le chemin.
newfile=$fname".webp" # Nouveau format d'image.
ffmpeg -y -i $file $newfile
fi
fait

Veuillez indiquer le chemin d’accès au répertoire que vous souhaitez traiter dans la case “Chemin d’accès au répertoire que vous souhaitez traiter”. Par exemple, voici comment l’écrire.

 cd /c/Utilisateurs/nom d'utilisateur/Desktop/données

Utilisation.

Nous utilisons un outil CUI qui peut utiliser le bash. J’ai utilisé gitbash de Git for Windows. Le processus est le suivant.

  1. Naviguer vers le fichier webp.sh
  2. Ajouter la permission 755 au fichier webp.sh
  3. Exécuter webp.sh

Dans cette optique, voici le flux de la baston

 $ cd Desktop/
$ chmod 755 webp.sh.
$ . /webp.sh $ .

Demandes

Par exemple, vous pouvez enregistrer le code dans webm pour mp4 et webp pour d’autres extensions. Vous le pouvez.

 # ! /bin/bash.

cd ★path vers le répertoire que vous souhaitez traiter
pour le fichier dans find . -maxdepth 5 -type f ; do
faname_ext="${file##.}" # Obtenez l'extension.
if [ "$faname_ext" = 'mp4' ] ; then #mp4 if
fname=${file%.
}
newfile=$fname".webp" # Convertir en webm
ffmpeg -y -i $file $newfile
sinon # autrement.
fname=${file%.*}
newfile=$fname".webp" # Convertir en webp
ffmpeg -y -i $file $newfile
fi
fait

Enfin.

Nous vous recommandons de faire une sauvegarde avant de le faire, juste au cas où.

created by Rinker
¥2,970 (2022/05/17 00:21:54時点 Amazon調べ-詳細)