Contenu | Rechercher | Menus

Annonce

L'équipe des administrateurs et modérateurs du forum vous invite à prendre connaissance des nouvelles règles.
En cas de besoin, vous pouvez intervenir dans cette discussion.

Ubuntu 18.04 LTS
Ubuntu-fr propose des clés USB de Ubuntu et toutes ses « saveurs » ainsi qu'un magnifique t-shirt pour cette toute nouvelle version d'Ubuntu !

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 11/12/2012, à 11:59

mickaelmgd

Changement de la taille des polices sur HDMI

Bonjour tout le monde.

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 !

Hors ligne