mardi 16 janvier 2018

Changer la police système de Windows 8.x ou Windows 10


Après m'être penché sur les polices de l'invite de commandes en novembre dernier j'ai eu envie d'aller plus loin et de généraliser l'usage de la police Ubuntu que j'apprécie vraiment beaucoup. S'il était auparavant facile de modifier les polices à tous les étages (les nostalgiques des anciennes versions de Windows se souviennent toujours, je suppose, de l'onglet Apparence où l'on avait accès à une foultitude de réglages), il n'aura pas échappé à grand monde que c'est plus compliqué d'arriver à ses fins avec Windows 8.x ou Windows 10. Une réorganisation de l'interface, l'ajout de nouvelles fonctionnalités et le retrait d'autres ont fait qu'il est impossible à ce jour de faire facilement des modifications de polices.