samedi 25 novembre 2017

Ajouter des polices dans les options de l'invite de commandes


Un petit billet juste pour le fun ! :) Il m'a pris l'envie de savoir s'il était possible d'ajouter des polices afin de modifier légèrement l'esthétique de l'invite de commandes de Windows. À la suite de mes escapades linuxiennes, je me suis trouvé une certaine attirance pour la police Ubuntu et j'ai souhaité l'utiliser sous Windows.


Les manipulations ne sont pas très compliquées et comme souvent se font par le biais de la base de registres. Il est à noter que si l'on souhaite ajouter des polices utilisables dans l'invite de commandes, ces dernières doivent être fixes. Exit donc Wingdings, Algerian, Comic sans MS et consorts ! Nous avons de la chance, car le pack de polices Ubuntu contient une variante fixe, nommée Ubuntu Mono. C'est celle-ci que j'utiliserai pour l'exemple et nous partirons du principe que le pack de polices Ubuntu est installé sur l'ordinateur (pour cela rien de plus simple, il suffit de copier lesdites polices dans le répertoire C:\Windows\Fonts).

Voici comment procéder :

1. Modification du registre :
  • appuyer sur <Touche Windows>+<R> afin d'ouvrir la boîte de dialogue Exécuter... ;
  • dans la zone de saisie, taper regedit puis valider en appuyant sur <Entrée> ;
  • naviguer dans l'arborescence jusqu'à HKEY_LOCAL_MACHINE \ SOFTWARE \ Microsoft \ Windows NT \ CurrentVersion \ Console \ TrueTypeFonts ;
  • dans la partie droite nous observons quelques entrées et normalement, nous avons entre autres des entrées « 0 » et « 00 » ;
  • cliquer avec le bouton droit dans la partie droite de la fenêtre et choisir Nouveau > puis Valeur chaîne ;
  • nommer cette nouvelle entrée 000 (un zéro de plus que l'entrée ayant déjà le plus de zéros) ;
  • double-cliquer sur cette nouvelle entrée puis inscrire dans la zone de saisie Données de la valeur de la nouvelle boîte de dialogue le nom de la police (pour l'exemple ce sera Ubuntu Mono). Cliquer sur <OK> ;
  • quitter l'éditeur de registre.

2. Modification des préférences de l'invite de commandes :
  • appuyer sur <Touche Windows>+<R> afin d'ouvrir la boîte de dialogue Exécuter... ;
  • dans la zone de saisie, taper cmd puis valider en appuyant sur <Entrée> ;
  • cliquer avec le bouton droit sur la barre de titre et sélectionner Propriétés dans le menu contextuel ;
  • cliquer sur l'onglet Police et sélectionner la nouvelle police dans la liste. Ajuster la taille si nécessaire (pour Ubuntu Mono, j'ai choisi une taille de 16 sur un écran en Full HD) ;
  • valider en appuyant sur <OK>.
Le changement est immédiat et l'on peut instantanément admirer le résultat ! :)

Aucun commentaire:

Enregistrer un commentaire