web-dev-qa-db-fra.com

Faites de Roboto la police par défaut

Comment puis-je changer la police par défaut dans Gnome et Terminal en Roboto sans installer de logiciel supplémentaire? J'utilise gnome-terminal.

6
gio1135

Je vous donne une réponse "changez la police dans Terminal, pas dans le monospace à l'échelle du système", car il semble que vous demandiez.

Vous devez installer la police, puis modifier les paramètres du terminal.

  1. Sudo apt-get install fonts-roboto
  2. Clic droit sur le terminal
  3. Profils -> Préférences de profil
  4. Changez la police : en Roboto

Remarque: Roboto n’est pas une police monospace et n’est donc pas la meilleure pour une utilisation dans Terminal. Votre terminal sera mieux utilisé avec une police monospace telle que Inconsolata , DejaVu Sans Mono, Ubuntu Mono ou Code source Pro .

5
13rac1

j'ai trouvé que cela fonctionne :

gsettings set org.gnome.desktop.interface monospace-font-name 'Noto Mono 11'

(Probablement pas toutes les applications, gedit change instantanément)

0
aularon