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

Si vous passez du temps dans le Terminal sur votre Mac, il 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 être plus productif et efficace.

Dans cet article, nous vous montrons quelques-unes des façons les plus intéressantes de personnaliser vos fenêtres de Terminal sur Mac.

À lire aussi : Comment ouvrir n’importe quel dossier depuis le Terminal Mac

Ajuster le thème du Terminal

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

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

Vous pouvez changer la couleur de fond et de texte, les options de rendu de texte, les tailles et types de police, le type de curseur, la couleur de sélection et les couleurs ANSI. Ces dernières sont utilisées lorsqu’une commande du Terminal affiche une sortie colorisée mais n’apparaît pas autrement.

Vous remarquerez un certain nombre de profils dans le menu à gauche. Vous pouvez choisir l’un de ces profils ou cliquer sur l’icône “+” en bas du panneau pour créer un nouveau profil personnalisé. Les profils sont les conteneurs de vos paramètres, donc vous voudrez peut-être créer un profil personnel avant de modifier quoi que ce soit.

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 depuis “Shell -> Nouvelle fenêtre”, où vous pouvez également sélectionner un profil.

Vous pouvez également importer des profils dans le Terminal, depuis le menu en bas de l’écran des Profils.

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

Commandes de connexion

Le Terminal peut exécuter des commandes spécifiques lorsqu’une fenêtre de shell est ouverte. Vous pouvez les assigner sur une base par profil, donc différents profils exécutent des commandes uniques.

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

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

Ce paramètre sera automatiquement enregistré dans le profil associé et s’exécutera la prochaine fois que vous ouvrirez un shell avec ce profil. Pour désactiver la commande de démarrage, il suffit de décocher la case “Exécuter la commande”.

À lire aussi : 4 des meilleures alternatives à l’application Terminal de macOS

Coloriser votre invite

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

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

nano ~/.zshrc

Dans l’éditeur, ajoutez une nouvelle ligne qui commence par PROMPT=. Vos codes de couleur ANSI et le style de l’invite suivront. Le code complet que nous avons ici est :

PROMPT="%F{cyan}%n %1~ %# %f"

Pour décomposer notre exemple, nous avons encadré le style dans %F et %f pour indiquer que nous allons utiliser une couleur, puis ajouté un nom de couleur entre accolades {cyan}. Cela peut également être un nombre entre 0 et 256.

Ensuite, nous avons donné un certain style à l’invite :

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

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

Coloriser et formater le texte du Terminal

Vous pouvez également formater le texte tapé dans le Terminal en utilisant les 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.

Pour coloriser le texte de manière temporaire, encadrez le texte entre des guillemets doubles et utilisez la commande printf :

printf"\e[31mHello World\e[0m\n"

Décomposons cela :

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

Si vous souhaitez que le texte continue d’apparaître colorisé, omettez le \e[0m. Pour terminer le formatage, imprimez \e[0m sur la sortie standard avec printf.

Vous pouvez également utiliser les mêmes codes ANSI mentionnés précédemment et aller plus en profondeur en ce qui concerne le formatage de votre invite.

À lire aussi : Comment changer le nom de votre ordinateur Mac

Changer le titre de la fenêtre du Terminal

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

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

Vous pouvez ajuster les paramètres sous la section Titre et voir les résultats dans n’importe quelle fenêtre de shell ouverte 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 voudriez répliquer vos paramètres pour plusieurs onglets ouverts.

Conclusion

Personnaliser le Terminal est un excellent moyen de personnaliser votre expérience et de devenir plus efficace et productif. En fait, il y a beaucoup plus que vous pouvez faire pour personnaliser le Terminal de votre Mac, et cet article présente les meilleures options.

Avec un Terminal adapté à vos besoins spécifiques, vous pourriez gérer 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-le nous savoir dans la section des commentaires ci-dessous !