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


-- 
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]
Archive: https://lists.debian.org/[email protected]

Rispondere a