Jannah Theme License is not validated, Go to the theme options page to validate the license, You need a single license for each domain name.
Linux

Comment personnaliser le terminal dans Ubuntu

Chaque fois qu’une nouvelle version d’une distribution Linux populaire (disons Ubuntu) est publiée, Internet est inondé d’articles sur la façon de la personnaliser pour mieux répondre à vos besoins/exigences. Bien que ces didacticiels se concentrent sur le bureau dans son ensemble, malheureusement, la fenêtre de terminal de ligne de commande n’obtient généralement pas beaucoup d’attention.

Il existe une pléthore d’options de personnalisation disponibles pour le terminal de ligne de commande. Dans ce didacticiel, nous aborderons certains des paramètres de personnalisation clés disponibles pour la fenêtre de terminal dans Ubuntu 16.04, la dernière version d’Ubuntu LTS.

Contenu

Personnaliser le terminal de ligne de commande dans Ubuntu 16.04

Presque toutes les options de personnalisation sont accessibles via l’entrée « Préférences de profil » qui se trouve dans le menu « Édition » du terminal.

Cliquez dessus et la fenêtre Préférences apparaîtra. La fenêtre contient de nombreux onglets, notamment Général, Commande, Couleurs, Défilement et Compatibilité – chaque nom indiquant le type d’options de personnalisation que l’onglet contient.

ligne de commande-terminal-édition-menu-préférences-onglet-général

Dans l’onglet Général, qui est actif par défaut, il existe des options pour modifier la taille initiale du terminal (la taille du terminal en termes de nombre de lignes et de colonnes lors de son lancement) et modifier la forme du curseur (qui est défini sur Bloquer par défaut), ainsi que modifier l’apparence du texte, y compris la police utilisée dans votre terminal.

Psssssst :  Où sont les fichiers récemment modifiés sous Linux ?

Par exemple, j’ai augmenté la taille de la police (de 12 à 16 par défaut) et changé la forme du curseur de bloc à souligné :

ligne de commande-terminal-font-size-augmenter

Passons maintenant à l’onglet suivant (Commande).

ligne de commande-terminal-édition-menu-préférences-onglet-commande

Comme vous le savez peut-être déjà, un shell est essentiellement une interface entre les utilisateurs et le système d’exploitation. Il traduit les commandes saisies par les utilisateurs et les transmet au système d’exploitation. Mais parfois, vous voudrez peut-être configurer le terminal pour qu’il exécute une commande au démarrage au lieu d’attendre une entrée de votre part.

Ceci est rendu possible grâce à la fonctionnalité « Exécuter une commande personnalisée au lieu de mon shell » – activez simplement la fonctionnalité (en cochant la case correspondante) et entrez la commande que vous souhaitez que le terminal exécute. Il existe également une option où vous pouvez dire quelle action doit être entreprise après la sortie de la commande – les options disponibles incluent « Quitter le terminal », « Redémarrer la commande » et « Maintenir le terminal ouvert ».

La fonctionnalité « Exécuter la commande en tant que shell de connexion », en revanche, est utilisée lorsque vous souhaitez que votre shell (Bash ici) lise le « /home/votre-nom d’utilisateur/.bash_profile » (ou, si cela n’existe pas , « /home/votre-nom d’utilisateur/.profile ») au démarrage. Lorsque cette fonctionnalité n’est pas active, ce qui est le cas par défaut, Bash lit le fichier « /home/votre-nom d’utilisateur/.bashrc » au démarrage.

Psssssst :  Vais-je perdre des fichiers si je passe à Windows 10 ?

Pour continuer, l’onglet Couleurs, comme son nom l’indique, contient tous les paramètres liés aux couleurs pour la fenêtre du terminal.

ligne de commande-terminal-éditer-préférences-menu-couleurs-onglet

Par défaut, l’option « Utiliser les couleurs du thème système » est active. Désactivez-le simplement et vous pouvez choisir parmi les schémas intégrés. Par exemple, j’ai sélectionné le schéma ‘Noir sur jaune clair’ pour mon terminal.

ligne de commande-terminal-texte-couleur-changée

Une autre fonctionnalité intéressante ici est « Utiliser un arrière-plan transparent ». Comme son nom l’indique, vous pouvez activer cette fonctionnalité pour rendre l’arrière-plan de votre terminal transparent. Cela peut s’avérer utile dans diverses situations. Par exemple, lorsque vous essayez d’exécuter des commandes répertoriées sur une page Web, vous n’aurez pas à basculer fréquemment entre votre terminal et les applications de navigateur.

ligne de commande-terminal-fond-transparent

Pour continuer, l’onglet Défilement contient la barre de défilement et les options liées au défilement, telles que l’affichage ou non de la barre de défilement, le défilement à la sortie ou à la frappe, ainsi que la limite (en termes de nombre de lignes) que vous souhaitez appliquer au défilement. retour.

ligne de commande-terminal-éditer-préférences-menu-scrolling-tab

Et enfin, l’onglet Compatibilité vous permet de définir des éléments tels que ce que les touches de retour arrière et de suppression génèrent dans le terminal, ainsi que le type d’encodage.

Psssssst :  Comment connecter mon Seagate Backup Plus à mon téléphone Android ?

ligne de commande-terminal-édition-menu-préférences-onglet-compatibilité

C’est le genre de personnalisation que vous pouvez faire pour le terminal de ligne de commande dans Ubuntu 16.04 LTS. Lorsque vous avez terminé les modifications, assurez-vous de revenir à l’onglet Général et de fournir un nom au profil de personnalisation pour une utilisation future afin que vous n’ayez pas à répéter toutes ces étapes encore et encore.

ligne de commande-terminal-édition-menu-préférences-onglet-général-nom-profil

Conclusion

Comme vous l’avez probablement observé, alors que certains paramètres du terminal – tels que ceux des onglets Commande et Compatibilité – valent la peine d’avoir une idée, d’autres – comme ceux des onglets Couleurs et Général – sont principalement liés à l’apparence du terminal. la fenêtre.

Bien sûr, il n’est pas obligatoire de personnaliser les préférences de votre terminal, mais il faut au moins avoir une idée de base sur les paramètres disponibles et comment les utiliser.

Cet article est-il utile ? Oui Non

Bouton retour en haut de la page

Adblock détecté

Veuillez désactiver votre bloqueur de publicités pour pouvoir visualiser le contenu de la page. Pour un site indépendant avec du contenu gratuit, c’est une question de vie ou de mort d’avoir de la publicité. Merci de votre compréhension! Merci