Un profil est un ensemble de paramètres de
Les paramètres de
Nom du profil.
Couleurs de la police et du fond d'écran.
If you have two or more profiles defined, you can change the profile in
your current
To create a new profile with the default settings of
Select
In the sidebar, click on the
Enter a name for the new profile. You can change this name later.
Click
Set your desired profile preferences. These will be saved automatically.
Vous pouvez créer un nouveau profil en fonction des paramètres d'un profil existant :
Select
In the sidebar select the profile on which your new profile should be based.
Click on the arrow next to the profile name.
Select
Enter a name for the new profile. You can change this name later.
Click
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.
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
You can make changes to existing profiles. To edit a profile:
Select
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
Vous pouvez aussi modifier le comportement de
Pour changer le fond d'écran de
Les changements de profil sont enregistrés immédiatement. Pour revenir dans
Vous pouvez renommer un profil existant, incluant le profil par défaut :
Select
Sélectionnez un profil que vous souhaitez renommer.
Click on the arrow next to the profile name.
Select
Enter the new profile name.
Click
Pour supprimer un profil :
Select
Sélectionnez le profil que vous souhaitez supprimer.
Click on the arrow next to the profile name.
Select
Click
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.
The default profile is used when
Select
Select the profile you wish to set as the default.
Click on the arrow next to the profile name.
Select
The default profile is marked with a check mark symbol.