Daniele Nicolodi wrote:
On Sun, Dec 28, 2003 at 12:17:21PM +0100, Lele Gaifax wrote:
Quello che ti serve è basename, oppure expr:
$ nomefile="ciccio.mp3" $ senzaext=$(basename $nomefile .mp3)
oppure
$ senzaext=$(expr "$nomefile" : '\(.*\).mp3)
oppure le sostituzioni della shell (solo bash ??):
$ senxaext=${nomefile%%.mp3}
oppure sostituendo .mp3 con .wav
$ wave=${nomefile/%.mp3/.wav}
Ciao
In pratica dovrei far leggere alla shell la /directory ove si trovano i file .wav e quindi passare allo scriptino ogni <nomedelfile> che incontro dal primo all'ultimo; ad ogni <nomefile> incontrato dovrei quindi applicare "expr" oppure le sostituzioni della shell e percio' riscrivere in ultimo il nome del file corretto.
bye ===================================================== _ _ __ ____ __ _(_)_ ____ _____ ___ __| |/ /_| ___| / _` | | '__\ \ /\ / / _ \ / _ \ / _` | '_ \___ \ | (_| | | | \ V V / (_) | (_) | (_| | (_) |__) | \__,_|_|_| \_/\_/ \___/ \___/ \__,_|\___/____/
airwood65@xxxxxxxxxxx ===================================================== -- Per iscriversi (o disiscriversi), basta spedire un messaggio con OGGETTO "subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxx