C'est la solution que j'ai trouvée. Je l'ai testé à plusieurs reprises et j'utilise la police résultante à plusieurs endroits depuis plus de 2 ans, mais soyez averti: certaines parties de la procédure peuvent être sous-optimales ou tout simplement erronées.
Avant de demander "pourquoi ne pas rendre la police résultante disponible", la réponse est: "parce que je ne suis pas sûr de pouvoir le faire". Le droit d'auteur sur les polices est une question complexe.
Téléchargez la police Fixedsys Excelsior corrigée (fichier FSEX301-L2.ttf
, au commentaire # 16)
Installez FontForge (par exemple, à partir du Centre logiciel Ubuntu)
Faites un clic droit sur le FSEX301-L2.ttf
fichier et ouvrez-le avec FontForge. Dans la fenêtre Charger les polices bitmap qui apparaît, cliquez sur Non .
Cliquez sur Fichier → Exécuter le script ... et copiez et collez ce qui suit dans la fenêtre qui apparaît:
SelectAll()
foreach
if (GlyphInfo("Width") != 80)
DetachAndRemoveGlyphs()
else
b = GlyphInfo("BBox")
if (b[0] < 0 || b[1] < -30 || b[2] > 80 || b[3] > 130)
DetachAndRemoveGlyphs()
endif
endif
endloop
SelectNone()
Sélectionnez ensuite FF et cliquez sur OK (cela prendra un certain temps, vous devrez attendre que la fenêtre Exécuter le script disparaisse)
Cliquez sur Élément → Informations sur la police ... Dans PS Names, modifiez le nom de la police , le nom de famille et le nom pour les humains , par exemple, en ajoutant Mono
(les espaces ne sont autorisés que dans la deuxième et la troisième chaîne).
Dans la même fenêtre d' informations sur les polices , sélectionnez OS / 2 .
Dans le Misc. onglet changer la famille PFM en Monospace .
Dans l'onglet Metrics, définissez Win Descent Offset et HHead Descent Offset sur 0 (*) .
Dans l' onglet Panose , remplacez Proportion par Monospaced .
Dans la même fenêtre d' informations sur les polices , sélectionnez Recherches .
Dans l' onglet GSUB et dans l' onglet GPOS , sélectionnez chaque ligne tour à tour et cliquez sur Supprimer .
Dans la même fenêtre d' informations sur les polices , cliquez sur OK , et dans Modifier l'identifiant unique? fenêtre qui apparaît, cliquez sur Modifier .
Si vous le souhaitez, vous pouvez modifier une ou plusieurs fonctionnalités douteuses de Fixedsys. Par exemple, le caractère zéro est décalé d'un pixel vers la droite. Pour le ramener au centre, double-cliquez dessus, puis cliquez sur Métriques → Définir le LBearing ... , définissez le LBearing sur 10
et cliquez sur OK . Vous pouvez également modifier la forme des caractères, mais gardez toujours les points de contrôle à des multiples de 10 et la largeur à 80.
Cliquez sur Element → Bitmap Strikes Available ... , puis, dans la fenêtre qui apparaît, définissez Pixel Sizes sur 16
et cliquez sur OK .
Cliquez sur Fichier → Générer des polices ... , choisissez un répertoire différent et / ou un nom de fichier différent si nécessaire, assurez-vous que le format de sortie est TrueType et cliquez sur Enregistrer . Dans la fenêtre Taille standard non standard qui apparaît, cliquez sur Oui . Dans la fenêtre Erreurs détectées qui apparaît ensuite, cliquez sur Enregistrer (ne vous inquiétez pas).
Quittez FontForge ( Fichier → Quitter ). Dans la fenêtre Police modifiée qui apparaît, cliquez sur Ne pas enregistrer .
Déplacez le fichier généré dans le .fonts
sous - répertoire de votre répertoire personnel (créez-le s'il n'existe pas).
Ouvrez le terminal Gnome. Cliquez sur Édition → Profils ... Dans un profil (je vous suggère d'en créer un nouveau) changez la police en Fixedsys Excelsior 3.01-L2 Mono
(ou tout ce que vous avez appelé la version mono de Fixedsys Excelsior), à la taille 12
(qui est la seule "vraie" taille Fixedsys) . Si vous le souhaitez, vous pouvez également désactiver le texte en gras. Je suggère du texte noir sur fond blanc, mais c'est une question de goût.
La variante en gras de cette police équivaut à répéter le caractère décalé d'un pixel vers la droite (ce qui est différent de celui FSEX301-L2.ttf
où il apparaît lissé). Ce n'est pas très lisible - mais avez-vous vraiment besoin de gras? Je ne. Le problème ne concerne que les contextes où le gras ne peut pas être désactivé (pas même, par exemple, en modifiant la coloration syntaxique), en particulier dans les cas où l'espacement des caractères est également incrémenté d'un pixel, rompant les alignements (ce n'est pas le cas dans gnome -Terminal). Je n'ai pas encore trouvé de solution à cette dernière nuisance. Les suggestions sont les bienvenues.
(*): pas nécessaire depuis la sortie FontForge du 31/07/2012 (en 14.04 LTS - Trusty Tahr)
-J-Dswing.aatext=false
à netbeans_default_options dans /etc/netbeans.conf. Sinon, NetBeans le rendra "coloré" et flou - cela s'applique également à Windows