Créer et gérer des profils Terminal
Un profil est une collection de réglages de style et de comportement pour une fenêtre de Terminal. Les réglages que vous pouvez stocker dans un profil incluent la couleur d’arrière-plan, la police, le style du curseur et plus.
Terminal est fourni avec un jeu de profils prédéfinis appelés profils par défaut, et vous pouvez aussi créer vos propres profils personnalisés.
Créer un profil
Choisissez Terminal > Préférences, puis cliquez sur Profils.
Cliquez sur le bouton Ajouter
situé sous la liste des profils.Saisissez un nom pour le nouveau profil.
Choisissez les réglages de ce nouveau profil.
Modifier un profil
Choisissez Terminal > Préférences, puis cliquez sur Profils.
Sélectionnez le profil que vous voulez modifier.
Modifiez les réglages du profil.
Renommer un profil
Choisissez Terminal > Préférences, puis cliquez sur Profils.
Cliquez deux fois sur le nom du profil que vous voulez renommer.
Saisissez un nouveau nom, puis appuyez sur Retour.
Copier un profil
Choisissez Terminal > Préférences, puis cliquez sur Profils.
Sélectionnez le profil que vous voulez copier.
Cliquez sur le menu local Action
, puis choisissez Dupliquer le profil.Attribuez un nom au profil copié, puis appuyez sur Retour.
Supprimer un profil
Choisissez Terminal > Préférences, puis cliquez sur Profils.
Sélectionnez le profil que vous voulez supprimer.
Cliquez sur le bouton Supprimer
sous la liste des profils.
Rétablir les profils par défaut
Si vous avez supprimé ou modifié l’un des profils par défaut qui sont fournis avec Terminal, vous pouvez les rajouter à la liste des profils avec leurs réglages originaux. Vous ne pouvez rétablir que l’ensemble du jeu de profils par défaut (c’est-à-dire que vous ne pouvez pas rétablir les profils par défaut individuellement).
Si vous avez personnalisé un des profils par défaut et souhaitez enregistrer vos personnalisations, vous devez les renommer avant de rétablir les profils par défaut. Rétablir les profils par défaut écrase les réglages pour chacun des profils par défaut.
Choisissez Terminal > Préférences, puis cliquez sur Profils.
Cliquez sur le menu local Action
, puis choisissez Rétablir les profils par défaut.