Par contre, si j'en sélectionne plusieurs, ça ne marche pas. Seule la première sera multipliée. Y'a moyen ?
Une suggestion qui ne fonctionnera probablement que si aucune des images sélectionnées ne comprend d’espace dans son nom :
]]>
]]>
@vv222: tu es sûr que ${images##*.} est POSIX ? Si c'est bash-specific, alors il faut changer le #!
Je crois bien que c’est POSIX, je suis sûr en tous cas que ça fonctionne avec dash.
Il faudrait que je vérifie en passant une option du type "--posix' à dash s’il en propose une.
cf. "Parameter Expansion" dans le man de dash]]>
]]>
rm -f "$base-*$extension"
post 17 ne fonctionne pas
Essaye en le remplaçant par :
Encore que personnellement je n’incluerais pas cette ligne de cette façon, pour éviter des suppressions inattendues en cas de noms proches (image.png et image-différente.png par exemple).
-----
Ah non, je viens de comprendre, ce sont les guillemets qui empêchent l’interprétation du caractère spécial '*'.
Cette ligne devrait avoir l’effet voulu :
(le dirname est peut-être inutile, je le garderai par précaution pour m’assurer que la suppression ne va pas s’effectuer sous $HOME plutôt quand dans le répertoire contenant $image)]]>
post 17 ne fonctionne pas ]]>
Je propose :
Pas pour les caractères qu’on économise, sans importance dans un script de cette taille, mais pour éviter ce petit sed particulièrement cryptique ]]>
]]>