Ubuntu-fr

wallace27

Taille de la police dans le Terminal

Bonjour,

Comment puis-je augmenter la taille de la police dans le terminal Lubuntu ?

Merci pour votre aide.

inbox

Re : Taille de la police dans le Terminal

Salut,

Dans le menu Édition => Préférences.

A+

---

Un problème résolu ? Indiquez le en modifiant le titre du sujet.

wallace27

Re : Taille de la police dans le Terminal

Comment je fais pour trouver et ouvrir le menu Edition ?

BrunoGey

Re : Taille de la police dans le Terminal

Bonsoir wallace27,

Si tu as Unity, le terminal en avant plan : appli active, ces options sont dans la barre de titre de Unity.
Si tu as les applis fenêtrées, tu doit avoir la barre de menus, si tu ne l'as pas, un clic droit dans la surface du terminal et tu actives cette barre.

cdt

bruno

---

Le PC Samsung R720,  Systeme : Ubuntu 16.04.1  noyau 4.4.0-145-generic #171
Session graphique : Standard Unity. Formattez vos posts avec les balises BBcode
Rigolo ;-)    Pebkac2.fr

inbox

Re : Taille de la police dans le Terminal

Il se trouve en haut de la fenêtre, sauf si tu as fais des modifications d'affichage.

Dans ce cas, il faut aller modifier le fichier de configuration de lxterminal :

leafpad ~/.config/lxterminal/lxterminal.conf

Le fichier ouvert, tu remplaces hidemenubar=true par hidemenubar=false.

---

Un problème résolu ? Indiquez le en modifiant le titre du sujet.

wallace27

Re : Taille de la police dans le Terminal

[general]
fontname=Monospace 10
selchars=-A-Za-z0-9,./?%&#:_
scrollback=1000
bgcolor=#000000000000
bgalpha=65535
fgcolor=#aaaaaaaaaaaa
disallowbold=false
cursorblinks=false
cursorunderline=false
audiblebell=false
tabpos=top
hidescrollbar=false
hidemenubar=false
hideclosebutton=false
disablef10=false
disablealt=false

wallace27

Re : Taille de la police dans le Terminal

J'ai fini par trouver dans préférences et ensuite dans profile.

Merci pour votre aide.

inbox

Re : Taille de la police dans le Terminal

Dans ce cas, c'est que tu as modifié autre chose qui change l'apparence, un thème, par exemple.

Par contre, comme tu pourras le remarquer, tu peux changer la taille de la police dans le fichier que je t'ai indiqué.

[Edit] Il a dû y avoir un changement de menu entre ta version de Lubuntu et la mienne (14.10).

Dernière modification par inbox (Le 11/11/2014, à 20:41)

---

Un problème résolu ? Indiquez le en modifiant le titre du sujet.

wallace27

Re : Taille de la police dans le Terminal

Je crois que c'est parce que j'utilise Terminator à la place du Terminal natif

inbox

Re : Taille de la police dans le Terminal

Ah ok, il fallait préciser.

---

Un problème résolu ? Indiquez le en modifiant le titre du sujet.