Il dom, 2003-12-28 alle 12:17, Lele Gaifax ha scritto: > >>>>> "airwood65@virgilio" == airwood65@virgilio it <airwood65@xxxxxxxxxxx> > >>>>> writes: > > airwood65@virgilio> Funziona tutto quanto, ma quando converto da > airwood65@virgilio> .mp3 a .wav, i files generati hanno estensione > airwood65@virgilio> tipo <nome.mp3>.wav, dove <nome.mp3> e' il > airwood65@virgilio> nome del file + la vecchia estensione. > > Quello che ti serve è basename, oppure expr: > > $ nomefile="ciccio.mp3" > $ senzaext=$(basename $nomefile .mp3) > Oppure nomefile="ciccio.mp3.tar.gz" # Rimuove a partire dall'ultimo punto # Produce "ciccio.mp3.tar" senza_ultima_estensione="${nomefile%.*}" # Rimuove a partire dal primo punto # Produce "ciccio" senza_estensioni="${nomefile%%.*}" che funziona in qualsiasi shell POSIX. -- | \ \ | ___|_ |_ | ianezz a casa sua... :-) | _ \ | \ | _| / / Verba volant, scripta _|_/ _\_| _|____|___|___| manent, data corrupted -- Per iscriversi (o disiscriversi), basta spedire un messaggio con OGGETTO "subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxx