Dotaz: shell zmena koncovky

[dobrak]

Ahoj nedari se mi nahradit koncovku souboru v promeny napr.:

echo $file; # obsah je obrazek.gif a potrebuji zmenit na obrazek.jpg :(

At hledam na googlu jak hledam tak nikde nemuzu najit jak to vyresit :( Dekuji

---

---

Odpovědi

[chrono]

echo `basename "$file" .gif`.jpg

[dobrak]

super dekuji moc

[Michal Kubeček]

V bashi to lze i bez externích programů: ${file%.gif}.jpg