Daha İyi Üretkenlik için Mac'inizin Terminalini Nasıl Özelleştirirsiniz?

Comment personnaliser le terminal de votre Mac pour une meilleure productivité

⌛ Reading Time: 6 minutes

Si vous passez du temps dans Terminal sur votre Mac, cela vaut la peine de personnaliser l’apparence de l’application. La bonne nouvelle est qu’il existe de nombreuses façons de personnaliser le terminal de votre Mac pour qu’il soit plus productif et efficace.

Dans cet article, nous vous montrons quelques-unes des manières les plus intéressantes de personnaliser les fenêtres de terminal de votre Mac.

Peaufiner le thème du terminal

Terminal a la capacité intégrée de personnaliser vos fenêtres shell, même si vous ne le remarquerez peut-être pas au premier coup d’œil. Pour ce faire, accédez à l’écran Préférences du terminal.

De là, sélectionnez l’onglet Profils. Cette section vous permettra d’ajuster l’apparence de la fenêtre Terminal.

L'écran Profils de terminaux.

Vous pouvez modifier la couleur de l’arrière-plan et du texte, les options de rendu du texte, les tailles et les polices de caractères, le type de curseur, la couleur de sélection et les couleurs ANSI. Ce dernier est utilisé lorsqu’une commande Terminal affiche une sortie colorisée mais n’apparaît pas autrement.

Vous remarquerez un certain nombre de profils dans le menu de gauche. Vous pouvez choisir l’un d’entre eux ou cliquer sur l’icône « + » en bas du volet pour créer un nouveau profil personnalisé. Les profils sont les conteneurs de vos paramètres, vous pouvez donc vouloir créer un profil personnel avant de peaufiner quoi que ce soit.

L'icône Terminal Plus.

Lorsque vous êtes prêt, définissez votre nouveau profil principal en cliquant sur le bouton Par défaut. Toutes les nouvelles fenêtres de terminal s’ouvriront désormais avec ce profil.

Vous pouvez également ouvrir des fenêtres de terminal dans un profil spécifique à partir de “Shell -> Nouvelle fenêtre”, où vous pouvez également sélectionner un profil.

Choix d'un nouveau profil de coque.

Vous pouvez également importer des profils dans le terminal à partir du menu en bas de l’écran Profils.

Importation de profils dans le Terminal.

Cela vous permet d’harmoniser votre expérience Terminal avec d’autres versions du profil dans différentes applications. Par exemple, votre éditeur Vim, votre terminal et votre application Slack peuvent tous avoir le même profil et le même thème installés.

Commandes de connexion

Le Terminal peut exécuter des commandes spécifiques lorsqu’une fenêtre shell est ouverte. Vous pouvez les affecter par profil, afin que différents profils exécutent des commandes uniques.

Pour ce faire, sélectionnez l’onglet Shell dans le volet de préférences Profils.

L'onglet Shell dans le terminal.

Sous Démarrage, cochez la case “Exécuter la commande”, puis tapez la commande que vous souhaitez exécuter, mais laissez la case “Exécuter dans le shell” cochée ici.

Ajout d'une commande d'exécution de démarrage.

Ce paramètre sera automatiquement enregistré dans le profil associé et exécuté la prochaine fois que vous ouvrirez un shell avec ce profil. Pour désactiver la commande de démarrage, décochez simplement la case « Exécuter la commande ».

Coloriser votre invite

En modifiant le fichier “.zshrc”, vous pouvez coloriser le texte de l’invite du terminal. Il s’agit du texte fixe qui apparaît dans une fenêtre shell.

Une invite colorée.

Pour commencer, ouvrez votre fichier « .zshrc » dans l’éditeur nano avec la commande suivante :

L'éditeur Nano.

Dans l’éditeur, ajoutez une nouvelle ligne commençant par PROMPT=. Vos codes de couleur ANSI et votre style rapide suivront. Le code complet que nous avons ici est :

Pour décomposer notre exemple, nous avons enfermé le style dans %F et %f à noter que nous allons utiliser une couleur, puis ajouter un nom de couleur entre accolades {cyan}. Cela peut aussi être un nombre entre 0 et 256.

À partir de là, nous avons donné un style rapide :

  • Afficher le nom d’utilisateur (%n)
  • Affiche le chemin du répertoire de travail actuel sans le répertoire personnel (%1~)
  • Définir pour afficher un symbole dièse si l’utilisateur est un administrateur racine ou afficher un signe de pourcentage (%#)

Vous pouvez faire beaucoup plus ici, et le processus est plus facile que d’utiliser des profils bash comme dans les versions précédentes de Terminal.

Coloriser et formater le texte du terminal

Vous pouvez également formater le texte tapé dans le terminal à l’aide des paramètres de profil ou des commandes shell directement dans l’invite.

Pour attacher une couleur de texte à un profil, utilisez le paramètre de couleur de texte dans l’écran “Profils -> Texte” des préférences du terminal.

Les options de formatage du texte dans le terminal.

Pour colorer le texte de manière temporaire, placez le texte entre guillemets doubles et utilisez le printf commander:

Décomposons ceci :

  • e échappe les caractères non imprimables
  • [31m est le code couleur du texte rouge
  • Hello World est notre chaîne littérale
  • e[0m efface la mise en forme afin que le nouveau texte n’apparaisse pas colorisé
  • n imprime une nouvelle ligne

Si vous souhaitez que le texte continue d’apparaître en couleur, laissez le champ e[0m . Pour terminer le formatage, imprimez e[0m à la sortie standard avec printf.

Texte imprimé avec une couleur temporaire.

Vous pouvez également utiliser les mêmes codes ANSI que précédemment et accéder à plus grande profondeur quand il s’agit de la mise en forme de votre invite.

Changer le titre de la fenêtre du terminal

Par défaut, Terminal affichera le répertoire de travail actuel, le processus actif et la taille de la fenêtre d’affichage dans la barre de titre de votre fenêtre Terminal.

La barre de titre du terminal.

Vous pouvez changer cela à partir de l’onglet “Profil -> Fenêtre” des Préférences du Terminal.

Les paramètres de la fenêtre du terminal.

Vous pouvez ajuster les paramètres dans la section Titre et voir les résultats dans toutes les fenêtres shell ouvertes exécutant votre profil actuel. Les mêmes paramètres généraux peuvent également être trouvés dans l’écran des onglets au cas où vous souhaiteriez répliquer vos paramètres pour plusieurs onglets ouverts.

Emballer

Faire du Terminal le vôtre est un excellent moyen de personnaliser votre expérience et de devenir plus efficace et productif. En fait, vous pouvez faire beaucoup plus pour personnaliser le terminal de votre Mac, et cet article présente les plus grands succès.

Avec un terminal adapté à vos besoins spécifiques, vous pouvez exécuter l’ensemble de votre ordinateur depuis le terminal ou même mettre à jour votre Mac depuis le terminal. Utiliserez-vous davantage le Terminal si vous pouvez le personnaliser ? Faites-nous savoir dans la section commentaires ci-dessous!