Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013-2014
Michael Hill
mdhillca@gmail.com 2013
Créer, modifier 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
translate@filorin.fr 2015

# 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és, 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 du fond d'écran.

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

Défilement.

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 utilisé.

# Définir un profil par défaut

Le profil par défaut est une collection de paramètres de profil appliqués lors du lancement de chaque onglet ou fenêtre de Terminal.

Sélectionnez Édition Préférences Profils.

Sélectionnez le profil à définir par défaut à partir de Profil utilisé lors du lancement d'un nouveau terminal dans la liste déroulante.

# Sélectionnez un profil

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

Tout changement pour un nouveau profil est automatiquement enregistré. Pour créer un nouveau profil :

Sélectionnez Fichier Nouveau profil.

Saisissez un nom pour le nouveau profil à côté de Nom du profil.

Sélectionnez police, forme du curseur et taille de la fenêtre dans l'onglet Général.

Définissez le comportement que vous préférez pour la commande exit. Vous pouvez également définir un shell personnalisé dans l'onglet Commande.

Définissez vos palette et couleurs préférées dans l'onglet Couleurs.

Définissez votre préférence de défilement dans l'onglet Défilement.

# 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 le profil que vous souhaitez modifier via Terminal Changer de profil Nom du profil où Nom du profil est le nom du profil que vous souhaitez modifier. Vous pouvez aussi sélectionner Fichier Nouveau profil pour cloner le profil que vous êtes en train d'utiliser actuellement.

Définissez les préférences de profil que vous souhaitez. Elles sont enregistrées automatiquement. Si vous ne mettez pas à jour le nom du profil dans l'onglet Général , le nouveau profil n'écrase pas le profil dont il est issu.

Vous pouvez aussi d'abord faire une copie du profil existant et ensuite la modifier :

Sélectionnez Édition Préférences Profils.

Sélectionnez le profil désiré.

Cliquez sur Cloner.

Définissez les préférences de profil que vous souhaitez. Elles sont enregistrées automatiquement. Si vous ne mettez pas à jour le nom du profil, le nouveau profil n'écrase pas le profil dont il est issu.

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 effectuer des changements sur les profils existants. Pour modifier un profil, sélectionnez Édition Préférences du profil.

Sélectionnez 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 le fond d'écran 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.

Pour vous assurer que vous êtes en train de modifier le profil souhaité, sélectionnez le profil à partir de Terminal Changer le profil.

# Renommage d'un profil existant

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

Sélectionnez Édition Préférences Profils.

Sélectionnez un profil que vous souhaitez renommer.

Cliquez sur Modifier. Cela ouvre la boîte de dialogue des préférences pour le profil sélectionné.

Dans le champ Nom du profil, saisissez le nouveau nom de profil.

Cliquez sur Fermer pour retourner à Terminal.

# Suppression d'un profil

Pour supprimer un profil :

Sélectionnez Édition Préférences Profils.

Sélectionnez le profil que vous souhaitez supprimer.

Cliquez sur Supprimer.