Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013-2014
Michael Hill
mdhillca@gmail.com 2013
Create, rename and delete profiles.
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.

# Sélectionnez un profil

If you have two or more profiles defined, you can change the profile in your current Terminal tab or window by selecting a profile from Terminal Change Profile.

# Création d'un nouveau profil

To create a new profile with the default settings of Terminal:

Select Edit Preferences.

In the sidebar, click on the + button next to the Profiles label.

Enter a name for the new profile. You can change this name later.

Click Create to create the new profile.

Set your desired profile preferences. These will be saved automatically.

# 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 :

Select Edit Preferences.

In the sidebar select the profile on which your new profile should be based.

Click on the arrow next to the profile name.

Select Clone….

Enter a name for the new profile. You can change this name later.

Click Clone to create the new profile.

Set your desired profile preferences. These will be saved automatically.

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

You can make changes to existing profiles. To edit a profile:

Select Edit Preferences.

Your current profile is selected in the sidebar. If you wish to edit a different profile, click on its name.

Once the desired profile is selected, you can:

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.

# Renommage d'un profil existant

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

Select Edit Preferences.

Sélectionnez un profil que vous souhaitez renommer.

Click on the arrow next to the profile name.

Select Rename….

Enter the new profile name.

Click Rename to rename.

# Delete a profile

Pour supprimer un profil :

Select Edit Preferences.

Sélectionnez le profil que vous souhaitez supprimer.

Click on the arrow next to the profile name.

Select Delete….

Click Delete to confirm.

The default profile cannot be deleted. If you wish to delete that profile, first set another profile as default.

The default profile is loaded when a new terminal is opened unless you have selected another profile. Any changes that you make to the settings will be stored in the currently selected profile.

# Définir un profil par défaut

The default profile is used when Terminal could not otherwise decide which profile to use. For example, Terminal is started up freshly and opens its first terminal window. In contrast, when you use a menu entry or keyboard shortcut of Terminal to open a new terminal, the profile of the existing terminal is used.

Select Edit Preferences.

Select the profile you wish to set as the default.

Click on the arrow next to the profile name.

Select Set as default.

The default profile is marked with a check mark symbol.