J'aimerais savoir s'il existe un moyen de transformer tous mes onglets actuels de Terminal.app en un onglet de type profil différent à la volée.
Le cas d'utilisation est de changer le profil du terminal d'un thème sombre à un thème clair, et vice versa, en fonction de l'humeur/préférence de l'utilisateur. Cette opération peut être réalisée manuellement en cliquant avec le bouton droit de la souris sur l'en-tête d'un onglet et en choisissant "Inspecter l'onglet", puis en modifiant le thème de chaque onglet.
L'autre option consiste à fermer tous les onglets ouverts et à les rouvrir avec un nouveau thème, ce qui n'est pas optimal, à mon avis.
J'espère que quelqu'un a une meilleure solution :)
