Utiliser des profils pour modifier l’apparence des fenêtres Terminal sur Mac
Utilisez des profils pour personnaliser les couleurs, la police, le style de curseur, l’arrière-plan et d’autres éléments des fenêtres Terminal. Un profil est une collection de réglages de style et de comportement pour une fenêtre Terminal.
Terminal est fourni avec un jeu de profils prédéfinis, et vous pouvez aussi créer vos propres profils personnalisés.
Créer un profil ou modifier un profil existant
Accédez à l’app Terminal sur votre Mac.
Choisissez Terminal > Réglages, puis cliquez sur Profils.
Procédez de l’une des manières suivantes :
Pour créer un profil : Cliquez sur sous la liste des profils, puis saisissez un nom pour le nouveau profil.
Pour modifier un profil existant : Sélectionnez le profil que vous voulez modifier.
Choisissez des réglages pour ce profil :
Texte : Modifiez la couleur, la police, le texte, l’arrière-plan et le style du curseur.
Fenêtre : Modifiez les réglages d’affichage des fenêtres, notamment le titre, la taille et le défilement arrière.
Onglet : Modifiez les réglages d’affichage des onglets, notamment le titre et le nom du processus.
Shell : Modifiez les réglages de démarrage et de sortie.
Clavier : Modifiez les réglages des touches de fonction, de la touche option et de l’écran secondaire.
Avancé : Modifiez les réglages du type de terminal (terminfo), de la saisie, du comportement de l’option Cloche, ainsi que des encodages internationaux.
Renommer un profil
Accédez à l’app Terminal sur votre Mac.
Choisissez Terminal > Réglages, 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
Accédez à l’app Terminal sur votre Mac.
Choisissez Terminal > Réglages, puis cliquez sur Profils.
Sélectionnez le profil que vous voulez copier.
Cliquez sur , puis choisissez « Dupliquer le profil ».
Attribuez un nom au profil copié, puis appuyez sur Retour.
Supprimer un profil
Accédez à l’app Terminal sur votre Mac.
Choisissez Terminal > Réglages, puis cliquez sur Profils.
Sélectionnez le profil que vous voulez supprimer.
Cliquez sur sous la liste des profils.
Rétablir les profils prédéfinis des fenêtres Terminal
Si vous avez supprimé ou modifié l’un des profils prédéfinis 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 prédéfinis (c’est-à-dire que vous ne pouvez pas rétablir les profils prédéfinis individuellement).
Si vous avez personnalisé un des profils prédéfinis et souhaitez enregistrer vos personnalisations, vous devez renommer ce profil avant de rétablir les profils prédéfinis. Rétablir les profils par défaut écrase les réglages pour chacun des profils prédéfinis.
Accédez à l’app Terminal sur votre Mac.
Choisissez Terminal > Réglages, puis cliquez sur Profils.
Cliquez sur , puis choisissez « Rétablir les profils par défaut ».