in

Comment changer l’apparence du terminal OS X avec des profils

Le terminal de Mac OS X est un tarif assez standard. Il n’y a rien d’enthousiasmant, mais cela fait le travail. Heureusement, il existe de nombreuses façons d’améliorer les choses avec les profils Terminal.

Vous pouvez faire beaucoup de choses avec le terminal, comme masquer facilement des dossiers et des fichiers, forcer les applications à se fermer et déplacer des dossiers spéciaux vers le cloud.

Lorsque vous ouvrez Terminal, il s’agit généralement d’un noir sur blanc calme, ce qui est bien si vous ne vous souciez pas de ces choses. Cependant, de nombreux utilisateurs aiment personnaliser leurs configurations en fonction de leurs besoins et de leurs goûts.

Le thème par défaut du terminal «de base» est ennuyeux d’un point de vue fonctionnel.

Heureusement, vous pouvez à peu près donner à votre terminal l’apparence de votre choix en utilisant les profils dans les préférences (Commande +,). Par exemple, vous pouvez modifier la forme du curseur, ajouter une image d’arrière-plan, modifier la taille et la couleur du texte, et bien plus encore.

En fait, Terminal est déjà livré avec un assortiment de profils prédéfinis pour vous aider à démarrer.

Les profils prédéfinis de Terminal incluent, entre autres, Grass, Man Page, Red Sands et Ocean (de haut en bas).

Consultez les préférences des profils. Le volet de gauche comprend les thèmes susmentionnés, que vous pouvez ajuster dans le volet de droite. Notez que chaque thème des sections Profils a ses propres couleurs, styles de texte et curseurs.

De plus, vous pouvez ajuster les couleurs ANSI, ce qui vous permet de sortir du texte dans différentes couleurs, telles que cet exemple d’image tirée de MATLAB.

Si vous souhaitez ajuster l’une des couleurs, qu’il s’agisse des couleurs ANSI, du texte ou des sélections. Vous pouvez cliquer sur leurs boutons correspondants et vous aurez des choix de couleurs pratiquement illimités.

En bas à gauche des préférences Profils, cliquez sur «+» pour ajouter un nouveau profil ou sur «-» pour le supprimer.

Cliquez sur l’icône d’engrenage et vous pouvez dupliquer le profil, par exemple si vous aimez un profil et souhaitez le modifier sans changer l’original. Si vous apportez des modifications aux profils par défaut et que vous souhaitez les restaurer dans leur état d’origine, cliquez sur « Restaurer les profils par défaut ».

Vous pouvez également exporter des profils favoris et les importer vers d’autres installations OS X.

Alors que l’onglet «Texte» était consacré à la sortie du Terminal, l’onglet «Fenêtre» est destiné à vous permettre de définir comment les éléments environnants et l’arrière-plan apparaissent.

Voyez ici, nous avons activé toutes les options de titre et ajouté une image d’arrière-plan transparente. Nous avons également changé les dimensions de la fenêtre par défaut de 80 × 24 à 100 × 15. N’oubliez pas que nous pouvons toujours revenir en arrière et modifier la sortie texte et tout enregistrer sous un nouveau profil.

Nous avons appelé notre nouveau profil personnalisé «Spaced Out» et donné à notre terminal le titre «pirater l’univers».

Cela vous donne une assez bonne idée du fonctionnement de ces ajustements. Vous voyez à quel point vous pouvez apporter de la polyvalence et de l’unicité au terminal, en particulier lorsque comparé au profil par défaut ennuyeux.

Tout le reste dans la section Profils

Les autres éléments de la section Profils sont de plus en plus avancés. Dans l’onglet «Shell», il existe des options pour définir le comportement des shells au démarrage et à la sortie.

Vous pouvez exécuter une commande au démarrage, spécifier ce que vous voulez que la fenêtre fasse quand un shell se ferme (la valeur par défaut n’est pas de fermer la fenêtre), et vous pouvez définir des conditions sur ce qui se passe lorsque vous fermez une fenêtre.

Les paramètres «Clavier» ici vous permettent de définir les raccourcis clavier lorsque vous appuyez sur les touches de fonction et autres.

Double-cliquez ou cliquez sur «Modifier» pour apporter des modifications à ces raccourcis clavier.

L’onglet « Avancé » ressemble plus à une collection d’articles divers qui n’ont pas de maison appropriée.

Rien ici ni dans les deux onglets précédents n’a vraiment grand chose à voir avec l’apparence du terminal. Il est important de se rappeler cependant qu’il y a une raison pour laquelle cette section des préférences s’appelle « Profils ». Les modifications que vous affectez ici ne seront appliquées qu’au profil dans lequel vous travaillez.

Par conséquent, n’oubliez pas que lorsque ou si vous souhaitez créer un nouveau profil avec les mêmes options activées, il est préférable de copier ou d’exporter / d’importer le profil du représentant.

Enfin, bien que la section «Général» n’ait rien à voir avec l’apparence du Terminal, vous pouvez l’utiliser pour configurer la manière dont vous voulez que les nouvelles fenêtres et onglets du Terminal s’ouvrent. Notez que le profil par défaut peut être défini dans la section «Au démarrage, ouvrir:» ou dans les paramètres Profils.

Il est également utile de savoir que vous pouvez ouvrir une nouvelle fenêtre ou un nouvel onglet Terminal dans le profil de votre choix à partir du menu «Shell».

La manière dont vous utilisez le terminal et son utilisation dépendra en grande partie de vos besoins et de vos compétences informatiques. Les utilisateurs plus avancés d’OS X savent probablement déjà qu’ils peuvent ajuster l’apparence du terminal, mais les nouveaux utilisateurs qui ont un intérêt naissant pour la ligne de commande peuvent trouver ces informations plus utiles.

Si vous êtes nouveau sur le terminal, nous espérons que vous avez trouvé cet article utile. Nous aimerions connaître vos commentaires sur notre forum de discussion.

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Systèmes audio à prix réduit, consoles Nintendo Wii et applications gratuites

Systèmes audio à prix réduit, consoles Nintendo Wii et applications gratuites

Comment activer l'authentification à deux facteurs sur votre compte Nintendo

Comment activer l’authentification à deux facteurs sur votre compte Nintendo