Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013–2014
Modifier le défilement de l’affichage et le comportement de la barre de défilement.
Yoann Fievez
yoann.fievez@gmail.com 2013
Julien Hardelin
jhardlin@orange.fr 2013
Alexandre Franke
alexandre.franke@gmail.com 2014
Alain Lojewski
allomervan@gmail.com 2014
Jérôme Sirgue
jsirgue@free.fr 2014
Guillaume Bernard
associations@guillaume-bernard.fr 2015-2020
Charles Monzat
charles.monzat@free.fr 2020

# Préférences de la barre de défilement

Quand un grand nombre de sorties s’affichent sur votre terminal, il peut être utile de le configurer spécialement pour qu’il soit plus facile à utiliser.

# Affichage de la barre de défilement

Vous pouvez désactiver la barre de défilement :

Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre, et sélectionnez Préférences.

Dans la barre latérale, choisissez votre profil actuel dans la section Profils.

Sélectionnez Défilement.

Décochez Afficher la barre de défilement.

Vos préférences sont automatiquement enregistrées.

# Défilement sur la sortie

Vous pouvez bloquer le défilement afin d’afficher en permanence les dernières sorties tandis qu’une commande s’exécute et génère une sortie.

Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre, et sélectionnez Préférences.

Dans la barre latérale, choisissez votre profil actuel dans la section Profils.

Sélectionnez Défilement.

Cochez Défilement sur la sortie.

# Défilement lors de la saisie

Vous pouvez régler le terminal pour qu’il défile automatiquement au bas de la fenêtre quand vous tapez un texte dans l’invite de commande.

Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre, et sélectionnez Préférences.

Dans la barre latérale, choisissez votre profil actuel dans la section Profils.

Sélectionnez Défilement.

Cochez Défilement sur pression d’une touche.

# Lignes de défilement

Vous pouvez limiter le nombre de lignes de terminal conservées dans l’historique.

Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre, et sélectionnez Préférences.

Dans la barre latérale, choisissez votre profil actuel dans la section Profils.

Sélectionnez Défilement.

Cochez Limiter les lignes d’historique à et saisissez un nombre de lignes supérieur à zéro pour limiter le défilement.

Cliquez sur le + pour augmenter ou le - pour diminuer le nombre de lignes.

Vous pouvez choisir d’avoir une barre de défilement illimitée.

Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre, et sélectionnez Préférences.

Dans la barre latérale, choisissez votre profil actuel dans la section Profils.

Sélectionnez Défilement.

Décochez Limiter les lignes d’historique à.

Les données de l’historique sont stockées dans des fichiers compressés et chiffrés sur le disque, sous l’emplacement par défaut du système pour les fichiers temporaires (généralement /tmp). Ces fichiers sont dissociés immédiatement après leur création et ne s’affichent donc pas dans la liste du répertoire. L’espace disque occupé est libéré dès la fermeture du terminal correspondant.

Assurez-vous de disposer de suffisamment d’espace disque pour ces fichiers temporaires. Dans le doute, vous pouvez surveiller l’utilisation des disques, avec par exemple la commande du /tmp.

Un historique surdimensionné ralentit le redimensionnement de la fenêtre. En règle générale, le redimensionnement devient sensiblement lent à environ 1 million de lignes.