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.
Le terminal offre de nombreuses possibilités: masquer 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 fond noir sur blanc, ce qui convient si vous ne vous souciez pas de ce genre de choses. Cependant, de nombreux utilisateurs aiment personnaliser leurs configurations en fonction de leurs besoins et de leurs goûts.
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 propose déjà une gamme de profils prédéfinis pour vous aider à démarrer.
Consultez les préférences des profils. Le volet de gauche contient les thèmes susmentionnés, que vous pouvez ajuster dans le volet de droite. Notez que chaque thème dans les 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 pris à partir de MATLAB.Si vous souhaitez ajuster 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 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. 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 avons attribué à notre terminal le titre «Piratage de l'univers».
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 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 lorsque vous fermez une fenêtre.
Les paramètres «Clavier» permettent de définir les raccourcis clavier lorsque vous appuyez sur les touches de fonction et autres.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 grand-chose à voir avec l’apparence du terminal. Toutefois, il est important de garder à l'esprit que cette section des préférences s'appelle «Profils». Les modifications que vous affectez ici ne s'appliqueront 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 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 s'intéressent de près à 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 entendre vos commentaires sur notre forum de discussion.
Si vous avez des enfants, vous savez peut-être à quel point il peut être difficile de les éloigner de leur ordinateur et de tout autre appareil pour qu'ils puissent s'acquitter de leurs tâches à temps ou tout simplement passer du bon temps en famille. Eero, le système Wi-Fi complet et robuste de l’ensemble de la société, est doté d’une fonction qui facilite cette opération.
Beaucoup utilisent Slack pour la communication professionnelle quotidienne, ainsi que pour simplement observer le vent. Regarder la même vieille interface tous les jours peut être un peu ennuyeux, alors pourquoi ne pas changer les choses avec un nouveau thème de couleur?
Pour une raison quelconque, tôt ou tard, nous avons tous quelqu'un avec quelque chose ou quelque chose qui dérange avec nos claviers et qui crée des résultats «intéressants». C’est dans cet esprit que le message du Q & R de SuperUser d’aujourd’hui offre un moyen simple et élégant d’aider un lecteur frustré à restaurer le texte de son icône sur son bureau.
Nous vous avons déjà montré comment sauvegarder des profils Firefox à l'aide d'une extension et d'un logiciel tiers et comment sauvegarder des profils Google Chrome. Si vous utilisez Opera, un outil gratuit facilite la sauvegarde des profils, des paramètres et même des sessions de navigation Opera.
D7 est un outil gratuit et très utile pour la maintenance, la réparation et l’ajustement de Windows, l’aide à la suppression des logiciels malveillants et la sauvegarde de tous les profils utilisateur de votre ordinateur. Il peut aider les techniciens en informatique à effectuer de nombreuses tâches.
