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 →
Ceci est une ancienne révision du document !
Voici un petit script, que j'ai nommé “png2jpg”. Il permet de convertir plusieurs images nommée “cover.png” en “cover.jpg” dans plusieurs sous-répertoires. La qualité de convertion est de 85.
ATTENTION : Ce script détruit tous les fichiers “cover.png” après convertion.
#!/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/' cover.jpg {} \; find "$source" -iname 'cover.png' -exec rm -f cover.png {} \;
Tous 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 éxecutable
$ chmod 777 png2jpg
Et voilà à vous de tester maintenant
$ sh png2jpg /home/usr/musique/