30
Estrai il nome del file e l'estensione in Bash
Voglio ottenere il nome file (senza estensione) e l'estensione separatamente. La migliore soluzione che ho trovato finora è: NAME=`echo "$FILE" | cut -d'.' -f1` EXTENSION=`echo "$FILE" | cut -d'.' -f2` Questo è sbagliato perché non funziona se il nome del file contiene più .caratteri. Se, diciamo, ho a.b.js, prenderà in …