Comment changer la taille de la police en utilisant i3-wm?

13

Lorsque je lance ubuntu avec i3-wm, la police de toutes les applications est trop grande. Comment changer la police et la taille?

J'ai déjà consulté la documentation i3 mais je n'ai rien trouvé sur ce sujet.

    
posée bib 02.12.2013 - 19:03
la source

2 réponses

12

Vous devez modifier la configuration de i3, en copiant /etc/i3/config file dans ~/.config/i3/config , puis en éditant / en ajoutant votre configuration de police:

cp /etc/i3/config ~/.config/i3/config

Maintenant, vous devez éditer le fichier et ajouter vos préférences en utilisant la syntaxe suivante:

font <X core font description>
font pango:[family list] [style options] [size]

La première ligne décrit la description de la police en utilisant le format de base X, la deuxième ligne le décrit comme des variables séparées par des espaces dans l’ordre suivant: famille de polices (Arial, Mono, Sans, etc.); les options de style telles que Bold, Italic, Underscore, etc. et le dernier la taille . Pango est le moteur de mise en page utilisé.

Vous pouvez regarder toutes les entrées et modifier ce que vous voulez, par exemple:

font -misc-fixed-medium-r-normal--13-120-75-75-C-70-iso10646-1
font pango:DejaVu Sans Mono 10
font pango:DejaVu Sans Mono, Terminus Bold Semi-Condensed 11
font pango:Terminus 11px

Source:

réponse donnée Braiam 02.12.2013 - 19:20
la source
1

Les programmes Gtk utiliseront les paramètres gtk. Si toutes les polices sont trop petites, vous pouvez les contourner en modifiant les paramètres d’affichage, par exemple, ce que je fais avec mon HTC et ma télé consiste à définir une valeur de résolution. Les configurer via le centre de contrôle de gnome ou tout ce qui devrait fonctionner si vous lancez gnome-settings-daemon dans ~ / .i3 / config, sinon les paramètres sont comme ~ / .gtkrc-2.0 et ~ / .config / gtk-3.0.

    
réponse donnée Flammie Pirinen 28.10.2014 - 16:04
la source

Lire d'autres questions sur les étiquettes