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.