Quelle est la police "par défaut" pour les terminaux xubuntu?
Lancer xubuntu 14.04; et aujourd’hui, j’ai dû augmenter la taille de la police pour une présentation ... et lorsqu’on revenait en arrière, il m'est arrivé de cliquer au mauvais endroit; et maintenant je me bats pour résoudre ce problème.
Donc, fondamentalement, j'ai deux questions:
- Pas si important: quelle est la police par défaut utilisée par "l'émulateur de terminal" de xubuntu?
- Existe-t-il un moyen simple de réinitialiser ces paramètres (et peut-être d'autres) aux "paramètres d'usine"? Signification: dans Eclipse, dans la plupart des fenêtres de configuration "physiques", un bouton "réinitialiser" annulera toutes les modifications apportées par les utilisateurs. Est-ce qu'une telle chose existe pour xubuntu?
Donc, avec de l'aide, je suis capable de répondre à ma propre question:
- La police par défaut est "DejaVu Sans Mono Book 9"
- Il est possible de restaurer les "paramètres d'usine" en supprimant le fichier de configuration correspondant:
rm ~/.config/xfce4/terminal/terminalrc