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?