Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
Voici un petit script, que j'ai nommé “png2jpg”. Il permet de convertir plusieurs images nommées “cover.png” en “cover.jpg” dans plusieurs sous-répertoires. La qualité de conversion est de 85.
ATTENTION : Ce script détruit tous les fichiers “cover.png” après conversion.
#!/bin/bash # Si on a moins d'un argument, on quitte [ $# -ne 1 ] && echo "J'ai besoin d'un argument ! " && exit 1 # Si le répertoire source n'existe pas, on quitte [ ! -d "$1" ] && echo "J'ai besoin d'un répertoire de source valide ! " && exit 1 source="$1" find "$source" -iname 'cover.png' -exec convert {} -quality 85 {}.jpg \; find "$source" -iname 'cover.png.jpg' -exec rename 's/png\.jpg/jpg/' {} \; find "$source" -iname 'cover.png' -exec rm -f {} \;
Tout d'abord se déplacer dans son home
cd /home/usr/
Créer un dossier nommé scripts
mkdir scripts
Editer un fichier nommé png2jpg
vim png2jpg
Copier le script Puis le rendre exécutable
chmod 777 png2jpg
Et voilà à vous de tester maintenant
sh png2jpg /home/usr/musique/