URL: https://linuxfr.org/forums/linux-debutant/posts/fichier-de-sortie-sans-l-extension-du-fichier-source Title: fichier de sortie sans l'extension du fichier source Authors: gotcha5832 Date: 2019年11月10日T17:13:51+01:00 License: CC By-SA Tags: webp Score: 1 Bonjour à tous, Je souhaite convertir mes .jpg, .jpg, .gif, .png en webp Ou plus précisément faire un copie en webp J'ai ```sh find . -type f \( -iname "*.jpg" -o -iname "*.jpeg" -o -iname "*.png" -o -iname "*.gif" \) -print0 | xargs -0 -I {} bash -c '[ ! -f "{}.webp" ] && { cwebp -q 82 -mt {} -o {}.webp; }' ``` Cependant, mon fichier de sortie sera> monfichier.jpg.webp Comment faire pour éviter celà et simplement le renommer monfichier.webp en supprimant l'extension d'origine. EDIT [AUTOREPONSE:ON] J'ai réussit en passant par un script ```sh #!/bin/bash for filename in ` find . -type f -iname "*cart_6_4*" -iname "*.jpg" -o -iname "*.jpeg" -o -iname "*.png" -o -iname "*.gif"` do cwebp -q 82 -mt "$filename" -o "${filename%.*}.webp"; done ``` En Revanche, si il y a un grand volume d'image à traiter ~1800 pour 5G Passeriez vous par ce script ou rajouteriez vous une temporisation entre chaque conversion afin d'éviter de faire monter le server dans les tours ou d'autre opti?

AltStyle によって変換されたページ (->オリジナル) /