Voilà mon problème qui n'en est pas un.

Je voudrais savoir si sous 12.04 ou 12.10 vous auriez  connaissance d'un utilitaire permettant lorsque l'affichage est redirigé vers la sortie HDMI, d'augmenter instantanément la taille des polices de caractères selon un choix prédéterminé (dès que le branchement en HDMI est détecté) afin que jme casse pas les yeux sur l'écran de ma télé et ça le changement se fasse tout seul.

J'ai cherché mais j'ai rien trouvé.

Merci d'avance !