Questions marquées «fonts»

Une police est un ensemble complet de glyphes qui composent une police de caractères. L'installation d'une police permet à l'utilisateur d'utiliser cette police afin de modifier l'apparence du texte sur un périphérique de sortie tel qu'un écran ou une imprimante.

2
Quelles polices conviennent aux glyphes Unicode
Alors, je regardais cette réponse sur stackoverflow et me suis rendu compte que mes polices ne couvraient pas une grande partie du spectre unicode utf-8 (car je reçois beaucoup de carrés). Est-ce que quelqu'un connaît une police qui couvrira tout ce post?
38 fonts  unicode 
5
Puis-je changer la police de la console en mode texte?
J'ai un système d'exploitation de type Unix installé sans environnement de fenêtrage; c'est-à - dire juste une console en mode texte et aucune interface graphique. Est-il possible de changer la police utilisée par la console? Pour être clair, je ne parle pas de l'émulateur de terminal fourni avec un environnement …
36 console  tty  fonts 
5
Problème de rendu des polices dans urxvt - trop d'espace entre les caractères
À partir d'aujourd'hui, je rencontre des problèmes de rendu de police avec rxvt-unicode. Plus précisément, avec de nombreuses polices, j'obtiens une abondance d'espace supplémentaire entre les caractères. Dans d'autres polices, rxvt refuse de modifier les tailles. Voici un exemple du problème d'espacement entre urxvt et xterm. Les ressources des polices: …
27 fonts  urxvt  xft 
2
Comment savoir comment match fc correspond?
Quand je cours fc-mach Sans, il revient DejaVuSans.ttf: "DejaVu Sans" "Book"mais s'il est exécuté comme fc-match "Sans "ou fc-match "Sans 9"il revient unifont.ttf: "unifont" "Medium". Je préfère toujours utiliser DejaVu Sans mais je n'arrive pas à comprendre pourquoi fontconfig sélectionne unifont. Ni la configuration globale ni la configuration locale ne …
18 linux  fonts 
4
Changer la police dans la commande echo
Est-il possible de changer les attributs de police de la sortie d'écho dans zsh ou bash? Ce que je voudrais, c'est quelque chose qui ressemble à: echo -n "This is the font: normal " echo -n $font=italic "italic," echo -n $font=bold "bold," echo -n "and" echo -n $font=small "small". pour …
16 bash  shell  zsh  fonts 
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.