Se hai il nome intero di un file di un file in una variabile, puoi estrarre la parte prima dell'estensione così: "${VARIABILE%.*}". Ne ho avuto bisogno anche io e ho risolto così. Ciaoo -- Davide