Utiliser des profils pour modifier l’apparence des fenêtres Terminal sur Mac

1. Accédez à l’app Terminal  sur votre Mac.

2. Choisissez Terminal > Réglages, puis cliquez sur Profils.

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

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

1. Accédez à l’app Terminal  sur votre Mac.

2. Choisissez Terminal > Réglages, puis cliquez sur Profils.

3. Cliquez deux fois sur le nom du profil que vous voulez renommer.

4. Saisissez un nouveau nom, puis appuyez sur Retour.

1. Accédez à l’app Terminal  sur votre Mac.

2. Choisissez Terminal > Réglages, puis cliquez sur Profils.

3. Sélectionnez le profil que vous voulez copier.

4. Cliquez sur , puis choisissez « Dupliquer le profil ».

5. Attribuez un nom au profil copié, puis appuyez sur Retour.

1. Accédez à l’app Terminal  sur votre Mac.

2. Choisissez Terminal > Réglages, puis cliquez sur Profils.

3. Sélectionnez le profil que vous voulez supprimer.

4. Cliquez sur sous la liste des profils.

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.

1. Accédez à l’app Terminal  sur votre Mac.

2. Choisissez Terminal > Réglages, puis cliquez sur Profils.

3. Cliquez sur , puis choisissez « Rétablir les profils par défaut ».