Changer la couleur et le comportement du terminal en modifiant le profil

click fraud protection

Si vous passez beaucoup de temps à utiliser Terminal, l'application de ligne de commande intégrée à macOS, vous devez personnaliser son apparence et son comportement pour qu'il fonctionne encore mieux pour vous.

Vous pouvez modifier le texte et la couleur d'arrière-plan dans Terminal, la police, le titre de la fenêtre, etc. en modifiant le profil de Terminal.

Contenu

    • En rapport:
  • Qu'est-ce qu'un profil de terminal ?
  • Comment modifier votre profil de terminal
  • Comment créer votre propre profil de terminal
  • Commencez avec quelques commandes de terminal utiles
    • Articles Similaires:

En rapport:

  • Commandes de terminal utiles de base sur Mac
  • Utilisez le terminal pour suivre la progression de la synchronisation ou de la mise à jour de votre iPhone dans le Finder
  • Comment afficher votre bibliothèque utilisateur dans macOS Catalina, Mojave, High Sierra et Sierra

Qu'est-ce qu'un profil de terminal ?

UNE Profil du terminal est un groupe de paramètres qui modifient l'apparence et le comportement de Terminal sur votre Mac. Apple inclut 10 profils prédéfinis avec Terminal, mais vous pouvez créer autant de profils personnalisés que vous le souhaitez.

Changer le profil du terminal peut tout changer, des couleurs à la police, en passant par le mode de défilement, ce qui se passe lorsque vous fermez un onglet.

Vous pouvez ouvrir plusieurs fenêtres ou onglets Terminal en même temps, chacun utilisant un profil différent. De cette façon, vous pouvez utiliser différents profils pour différentes tâches.

Pour changer les couleurs dans Terminal, vous devez changer le profil que vous utilisez.

Comment modifier votre profil de terminal

Vous voudrez peut-être modifier votre profil de terminal pour choisir de meilleures couleurs pour les paramètres de faible luminosité, pour créer un look unique pour votre fenêtre de terminal ou simplement pour ajouter un peu de piquant à l'application banale. Quelle que soit votre raison, il est facile de modifier votre profil depuis les préférences du Terminal.

Voici comment:

  1. Ouvert Terminal.
  2. Dans la barre de menu, sélectionnez Terminal > Préférences.
  3. Allez au Profils onglet, puis sélectionnez le profil que vous souhaitez utiliser dans la barre latérale.
Fenêtre des préférences des profils de terminal
Sélectionnez un autre profil pour modifier le schéma de couleurs dans Terminal.

Chacun des 10 profils prédéfinis se comporte exactement de la même manière. Les seules différences entre eux sont leurs schémas de couleurs et leurs polices :

  • De base: Texte noir sur fond blanc, ou vice versa en mode sombre.
  • Herbe: Texte jaune sur fond vert rehaussé de rouge.
  • Homebrew : Texte vert néon sur fond noir transparent avec reflets bleus.
  • Page de manuel : Texte noir sur fond jaune.
  • Roman: Texte marron sur fond beige, semblable à du papier.
  • Océan: Texte blanc sur fond bleu.
  • Pro: Texte blanc sur fond noir transparent.
  • Sables rouges : Texte couleur pierre sur fond rouge transparent.
  • Aérogel d'argent : Texte noir sur fond gris transparent rehaussé de bleu.
  • Couleurs solides: Texte noir sur fond rose vif avec reflets bleus.

Lorsque vous trouvez un profil de terminal avec les couleurs que vous aimez, double-cliquez dessus pour ouvrir une nouvelle fenêtre dans ce profil. Sinon, cliquez sur Défaut en bas de la barre latérale pour utiliser ce profil par défaut lors de l'ouverture de nouvelles fenêtres de terminal.

Si vous ne voyez aucun profil que vous aimez, créez le vôtre à la place.

Comment créer votre propre profil de terminal

Vous pouvez choisir votre propre couleur d'arrière-plan, la couleur de la police, la police et le comportement de la fenêtre pour Terminal en créant un nouveau profil. C'est vraiment facile à faire et ne prend qu'une minute, c'est-à-dire si vous ne passez pas trop de temps à décider d'un schéma de couleurs.

Voici comment créer votre propre profil de terminal :

  1. Ouvert Terminal.
  2. Dans la barre de menu, sélectionnez Terminal > Préférences.
  3. Allez au Profils onglet, puis cliquez sur Ajouter (+) en bas de la barre latérale.
  4. Tapez un nom pour votre nouveau profil et utilisez les onglets sur la droite pour le personnaliser selon vos goûts.
Création d'un nouveau profil dans les préférences du terminal
Créez un nom mémorable afin que vous puissiez facilement trouver votre nouveau profil.

Les différents onglets vous permettent de modifier divers détails sur l'apparence ou le comportement de votre profil de terminal. Vous n'avez pas besoin de tout changer, vous pouvez simplement changer les couleurs du terminal (à partir de l'onglet Texte) si vous le souhaitez. Mais au cas où vous seriez intéressé, voici ce que propose chaque onglet :

  • Texte: Changez les couleurs et choisissez votre police et le style de votre curseur.
  • Fenêtre: Modifiez la taille de la fenêtre, le titre et les paramètres de défilement.
  • Languette: Modifiez le titre qui s'affiche pour chacun de vos onglets et plus encore.
  • Coquille: Créez une commande à exécuter au démarrage et choisissez ce qui se passe lorsque vous quittez le shell.
  • Clavier: Modifiez l'action des différentes touches de fonction.
  • Avancée: Activez ou désactivez divers paramètres d'entrée et de sonnerie.

Si vous ne souhaitez pas créer un nouveau profil de terminal à partir de zéro, vous pouvez également modifier les profils existants. Vous voudrez peut-être d'abord dupliquer un profil de terminal, afin de ne pas en perdre la version originale.

Pour dupliquer un profil :

  1. Cliquez pour sélectionner le profil que vous souhaitez dupliquer dans la barre latérale des préférences du terminal.
  2. En bas de la barre latérale, cliquez sur le trois points pour afficher un menu contextuel, puis cliquez sur Profil en double.
  3. Si vous avez déjà modifié un profil prédéfini, vous pouvez le récupérer en sélectionnant Restaurer les profils par défaut à partir de ce menu contextuel à la place.
Option Dupliquer le profil dans le menu contextuel des préférences du terminal
Dupliquez un profil avant d'apporter des modifications afin de ne pas perdre l'original.

Commencez avec quelques commandes de terminal utiles

Le terminal est une bête difficile à maîtriser. Cela nécessite d'apprendre beaucoup de nouvelles commandes et de nouveaux flux de travail au fur et à mesure que vous vous familiarisez avec la ligne de commande. Mais une fois que vous commencez à utiliser Terminal, un monde de possibilités vous attend.

Vous savez maintenant comment modifier la couleur et le comportement de Terminal pour qu'il ressemble et fonctionne comme vous le souhaitez. Il est donc temps de commencer à apprendre à l'utiliser avec ces commandes de terminal utiles. Ils vous apprendront comment garder votre Mac éveillé, afficher les fichiers cachés et bien plus encore.

Dan Helyer(Rédacteur principal)

Dan rédige des didacticiels et des guides de dépannage pour aider les utilisateurs à tirer le meilleur parti de leur technologie. Avant de devenir écrivain, il a obtenu une licence en technologie du son, supervisé des réparations dans un Apple Store et même enseigné l'anglais en Chine.