Comment modifier l'apparence du terminal OS X avec des profils

Le terminal de Mac OS X est un tarif assez standard. Il n’ya rien d’écrivant à la maison, mais le travail est fait. Heureusement, il existe de nombreuses façons d’améliorer les profils de terminaux..

Vous pouvez faire beaucoup de choses avec le terminal, telles que cacher facilement des dossiers et des fichiers, forcer les applications à quitter et déplacer des dossiers spéciaux vers le cloud..

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

Le thème de terminal «Basic» par défaut est fonctionnellement ennuyeux.

Heureusement, vous pouvez faire en sorte que votre terminal ressemble à tout ce que vous voulez 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, etc..

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 du 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 contient les thèmes susmentionnés, que vous pouvez régler dans le volet de droite. Remarque: 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 générer du texte dans différentes couleurs, comme cet exemple d'image prise à partir de MATLAB..

Si vous souhaitez ajuster l'une des couleurs, que ce soit les couleurs ANSI, le texte ou les sélections. Vous pouvez cliquer sur leurs boutons correspondants et vous aurez un choix de couleurs pratiquement illimité..

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

Cliquez sur l'icône représentant une roue dentée pour dupliquer le profil, par exemple si vous aimez un profil et souhaitez le modifier sans modifier 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» vous permet de définir l'apparence des éléments environnants et de l'arrière-plan..

Voir ici, nous avons activé toutes les options de titre et ajouté une image d'arrière-plan transparente. Nous avons également modifié les dimensions de la fenêtre par défaut de 80 × 24 à 100 × 15. Rappelez-vous 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 avons donné à notre terminal le titre «Piratage de l'univers».

Cela vous donne une assez bonne idée du fonctionnement de ces réglages. Vous voyez toute la polyvalence et l'unicité que vous pouvez apporter au terminal, en particulier si vous optez pour le 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", des options vous permettent de définir le comportement des coques 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 est de ne pas fermer la fenêtre), et vous pouvez définir des conditions pour ce qui se passe quand vous fermez une fenêtre..

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

Double-cliquez ou cliquez sur «Modifier» pour modifier ces raccourcis clavier..

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

Rien ici ni dans les deux onglets précédents n'a vraiment beaucoup à 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, 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 / 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 définir le mode d’ouverture des nouvelles fenêtres et onglets du terminal. Remarque: le profil par défaut peut être défini dans la section «Au démarrage, ouvrir:» ou dans les paramètres de Profils..

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

Votre utilisation du terminal dépendra largement de vos besoins en informatique et de vos compétences. Les utilisateurs OS X plus avancés savent probablement déjà qu'ils peuvent ajuster l'apparence du terminal, mais les nouveaux utilisateurs intéressés par 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..