Ciao! Mi scuso per l'OT ma confido comunque in qualche anima pia... in uno script bash devo assegnare a due variabili: maj e min i due valori numerici separati da ":" di una stringa del tipo: "12:18" letta da un file. Devo passare per awk o c'e' qualche via piu' agevole? Grazie, Igor. -- "Don't find fault, find a remedy." (Henry Ford)