Poi spesso tramite terminale connesso tramite SSH altrove, mi servono i tasti Fx (ad esempio per comandare mc), ma alcuni tasti sembrano essere decisamente radicati nel Mac, anche togliendogli l'assegnazione o cambiando il funzionamento (alias "Utilizza i tasti F1, F2 ecc. come tasti funzione standard") non cambia nulla, il terminale non li recepisce mentre li recepisce il sistema.
Qualche suggerimento?