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 -- Daniele -- Per iscriversi (o disiscriversi), basta spedire un messaggio con OGGETTO "subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxx