Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013-2014
Michael Hill
mdhillca@gmail.com 2013
Créer, renommer et supprimer des profils.
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

# Gestion des profils

Un profil est un ensemble de paramètres de Terminal. Terminal prend en charge plusieurs profils. Vous pouvez configurer les profils de Terminal dans Lancer une commande ou un shell personnalisé, définir un profil exclusivement pour vous connecter à des ordinateurs distants à l’aide de SSH ou définir un profil qui lance une session GNU Screen.

Les paramètres de Terminal disponibles incluent :

Nom du profil.

Couleurs de la police et de l’arrière-plan.

Compatibilité avec les touches Retour arrière et Suppr.

Défilement.

# Sélection d’un profil

Si vous avez au moins deux profils, vous pouvez changer le profil de l’onglet ou de la fenêtre active de Terminal en sélectionnant un profil via Terminal Changer de profil.

# Création d’un nouveau profil

Pour créer un nouveau profil avec les paramètres par défaut de Terminal :

Sélectionnez Édition Préférences.

Dans la barre latérale, cliquez sur le bouton + à côté de l’étiquette Profils.

Saisissez un nom pour le nouveau profil. Vous pourrez changer ce nom plus tard.

Cliquez sur Créer pour créer un nouveau profil.

Définissez les préférences de profil que vous souhaitez. Elles sont enregistrées automatiquement.

# Création d’un nouveau profil basé sur un profil existant

Vous pouvez créer un nouveau profil en fonction des paramètres d’un profil existant :

Sélectionnez Édition Préférences.

Dans la barre latérale, choisissez le profil à partir duquel se baser.

Cliquez sur la flèche à côté du nom du profil.

Sélectionnez Cloner.

Saisissez un nom pour le nouveau profil. Vous pourrez changer ce nom plus tard.

Cliquez sur Cloner pour créer le nouveau profil.

Définissez les préférences de profil que vous souhaitez. Elles sont enregistrées automatiquement.

La création d’un nouveau profil à partir d’un profil existant n’affectera pas les paramètres du profil existant. Toutes les modifications apportées aux paramètres seront stockées dans le nouveau profil.

# Modification d’un profil

Si vous modifiez le profil par défaut, vous ne pourrez plus le restaurer à ses paramètres d’origine ! Si vous n’aviez pas encore créé d’autre profil de Terminal et que vous avez personnalisé le profil par défaut, alors Terminal risque de devenir inutilisable si par malchance un des paramètres pose problème. C’est pourquoi nous vous recommandons de faire une copie du profil par défaut d’abord, puis de le modifier ensuite pour créer un profil personnalisé.

Vous pouvez modifier les profils existants. Pour modifier un profil :

Sélectionnez Édition Préférences.

Vous profil actuel est sélectionné dans la barre latérale. Si vous voulez modifier un autre profil, cliquez sur son nom.

Lorsque le profil désiré est sélectionné, vous pouvez :

Sélectionner police, formes du curseur et taille de Terminal.

Vous pouvez aussi modifier le comportement de Terminal pour la sortie de commande, définir un shell de connexion personnalisé ou changer les préférences de la barre de défilement.

Pour changer l’arrière-plan de Terminal et les couleurs du texte, consultez les palettes de couleur de Terminal.

Les changements de profil sont enregistrés immédiatement. Pour revenir dans Terminal, cliquez sur Fermer.

# Renommage d’un profil existant

Vous pouvez renommer un profil existant, incluant le profil par défaut :

Sélectionnez Édition Préférences.

Sélectionnez un profil que vous souhaitez renommer.

Cliquez sur la flèche à côté du nom du profil.

Sélectionnez Renommer.

Saisissez le nom du nouveau profil.

Cliquez sur Renommer pour le renommer.

# Suppression d’un profil

Pour supprimer un profil :

Sélectionnez Édition Préférences.

Sélectionnez le profil que vous souhaitez supprimer.

Cliquez sur la flèche à côté du nom du profil.

Sélectionnez Supprimer.

Cliquez sur Supprimer pour confirmer la suppression.

Le profil par défaut ne peut être supprimé. Si vous désirez tout de même le supprimer, choisissiez d’abord un autre profil par défaut.

# Définition d’un profil par défaut

Le profil par défaut est chargé quand un nouveau terminal est ouvert, sauf si vous avez choisi un autre profil. Toutes les modifications que vous apportez aux paramètres seront stockées dans le profil actuellement sélectionné.

Le profil par défaut de Terminal est utilisé lorsqu’il ne sait pas quel profil utiliser. Par exemple, lorsque Terminal est démarré et ouvre sa première fenêtre. En revanche, lorsque vous utilisez une entrée de menu ou un raccourci clavier de Terminal pour en ouvrir un nouveau, le profil du terminal existant est utilisé.

Sélectionnez Édition Préférences.

Sélectionnez le profil que vous souhaitez définir par défaut.

Cliquez sur la flèche à côté du nom du profil.

Sélectionnez Définir par défaut.

Le profil par défaut est mis en évidence par une coche.