Mattia ha scritto:
dato il nome di un file "test.txt", vorrei prendere solo l'estensione,
cioè txt.
Visto che ti hanno già risposto aggiungo una soluzione molto comoda,
imho, se utilizzi una shell non troppo striminzita (i.e. bash, dash o
ksh) e il nome del file in questione è già memorizzato all'interno di
una variabile:
$ pippo="this.is.an.example.txt"
$ echo ${pippo##*.}
--
Kind regards,
Marco Romano.
--
Per REVOCARE l'iscrizione alla lista, inviare un email a
[EMAIL PROTECTED] con oggetto "unsubscribe". Per
problemi inviare un email in INGLESE a [EMAIL PROTECTED]
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
