man bash

Retourner au contenu associé (entrée de forum : modifier des chaines de caractere avec sed)

# man bash

Posté par 태 (site web personnel) le 20 novembre 2008 à 20:18. En réponse au message modifier des chaines de caractere avec sed. Évalué à 8.

Ton shell sait le faire (sans avoir à utiliser echo, ni même sed) :
convert ${i} ${i/.JPG/.png}

(marche au moins avec bash et zsh)