Comment personnaliser le terminal Linux sur Chromebook

Comment personnaliser le terminal Linux sur Chromebook

Avec Chrome OS 84, vous pouvez ouvrir plusieurs onglets sur le terminal. Il ressemble et se sent complètement comme une version terminale du navigateur Chrome. En dehors de cela, vous avez également donné quelques options de personnalisation. Cela dit, voici comment accéder aux paramètres de personnalisation du terminal.

Avant que nous commencions

Tout d'abord, assurez-vous que vous utilisez la dernière version de Chrome OS ou au moins Chrome OS 84 ou supérieur. Pour vérifier, ouvrez les paramètres et sélectionnez l'option "À propos de Chrome OS" dans la barre latérale gauche. Ici, vous pouvez vérifier la version de votre système d'exploitation Chrome, si elle est inférieure à la version 84, assurez-vous de mettre à jour le système d'exploitation. De plus, vous devez activer Linux sur Chromebook.

Comment accéder à la personnalisation du terminal Linux

Pour accéder à la personnalisation, ouvrez d'abord le terminal de votre Chromebook à partir du tiroir de l'application.

Comment personnaliser le terminal Linux sur Chromebook

Il n'y a pas d'option dans le terminal, mais vous pouvez appuyer longuement ou cliquer avec le bouton droit sur l'icône du terminal sur l'étagère et cliquer sur Paramètres dans le menu.

Comment personnaliser le terminal Linux sur Chromebook

Vous pouvez maintenant apporter des modifications aux paramètres du terminal et également consulter les modifications apportées au terminal en temps réel. Et voici tous les changements que vous pouvez faire dans les paramètres du terminal.

Apparence

Dans la section Apparence, vous pouvez modifier le thème complet du terminal, la couleur d'arrière-plan, la police, la taille de la police, la couleur du curseur, le clignotement, etc. Vous pouvez faire défiler vers le bas pour modifier les paramètres individuels à votre guise et les changements se produisent en temps réel afin que vous pouvez avoir une vision claire de ce qui change et de son apparence. Je ne suis pas fan de l'apparence de personnalisation du terminal, mais cela rend le terminal plus conforme au style de conception de Chrome OS.

Comment personnaliser le terminal Linux sur Chromebook

Clavier souris

Il s'agit de la section la plus importante car vous pouvez définir les raccourcis et les paramètres du clavier et de la souris. Un raccourci qui m'a beaucoup manqué est Ctrl + V pour coller le code dans le terminal. Au lieu de cela, nous devons utiliser Ctrl + Maj + V, ce qui crée une incohérence. Mais maintenant, vous pouvez le changer à partir d'ici. Faites simplement défiler vers le bas et activez "Comportement de collage Ctrl + V" dans les paramètres du clavier et de la souris. Voilà, vous pouvez récupérer votre raccourci Crct+V.

En fait, vous pouvez complètement changer le comportement du terminal pour qu'il se comporte comme un navigateur Chrome en activant des raccourcis clavier comme ctrl+T pour ouvrir un nouvel onglet, ctrl+1to9 pour basculer entre les onglets, etc.

Comment personnaliser le terminal Linux sur Chromebook

Emballer

Vous avez également une section de comportement où vous pouvez activer des choses comme afficher la taille des dimensions du terminal lorsqu'il est redimensionné. Quoi qu'il en soit, il n'y a pas de fonctionnalités importantes dans la section comportement.

Lisez également : -  Comment étendre le stockage pour Linux sur votre Chromebook


6 applications Android qui vous aident à vous souvenir des anniversaires, à envoyer une carte et plus encore

6 applications Android qui vous aident à vous souvenir des anniversaires, à envoyer une carte et plus encore

Il est difficile de suivre les anniversaires, surtout lorsque vous vieillissez et que vous avez encore plus de personnes à prendre en compte, comme des enfants ou des beaux-parents. Et vous ne voulez jamais être cette personne qui oublie constamment. Bien que vous puissiez suivre les anniversaires dans le calendrier de votre téléphone, il existe également des applications pour cela.

Les 7 meilleurs lanceurs légers qui fonctionneront sur nimporte quel téléphone Android

Les 7 meilleurs lanceurs légers qui fonctionneront sur nimporte quel téléphone Android

Les lanceurs sont les applications incontournables pour personnaliser l'apparence de votre téléphone Android.

Les 10 meilleures applications pour découvrir les événements qui se déroulent autour de vous

Les 10 meilleures applications pour découvrir les événements qui se déroulent autour de vous

Sortir et profiter d'un événement avec des amis est l'un des meilleurs moyens de créer des souvenirs inoubliables. Quel que soit votre budget, il y a toujours une sorte de divertissement disponible - le trouver a toujours été la partie difficile.

Les 5 meilleures applications Manhwa et Webtoons pour Android et iPhone

Les 5 meilleures applications Manhwa et Webtoons pour Android et iPhone

Manhwa et webtoons sont des formes de bandes dessinées numériques à défilement vertical originaires de Corée. Leur popularité croissante a provoqué une augmentation des versions numériques, permettant à un plus grand nombre de personnes d'y accéder sur des appareils mobiles. Bien qu'ils soient extrêmement populaires et engageants, ils peuvent être difficiles à lire pour ceux qui ont l'habitude de lire des bandes dessinées horizontalement.

Meilleures applications de changement de voix pour Android et iOS

Meilleures applications de changement de voix pour Android et iOS

Quelques bonnes applications de changement de voix pour Android et iOS que vous pouvez utiliser pour ajouter des effets, changer le genre et le ton et modifier la voix hors ligne.

Utilisez votre Mi Band 3/2 pour contrôler la musique sur votre Android

Utilisez votre Mi Band 3/2 pour contrôler la musique sur votre Android

Il y a plus dans le tracker de fitness Mi Band, ce n'est pas seulement un appareil pour dormir, mais vous pouvez utiliser le contrôle de la musique mi band pour ignorer la musique. Voici comment procéder.

13 meilleurs jeux pour vous aider à vous endormir

13 meilleurs jeux pour vous aider à vous endormir

ne peux pas dormir? Jouer aux bons jeux peut vous aider à passer une bonne nuit de sommeil. Voici 14 meilleurs jeux pour vous aider à dormir.

7 façons de libérer de lespace de stockage sur Google Photos

7 façons de libérer de lespace de stockage sur Google Photos

Alors que Google Photos propose fièrement un stockage gratuit de photos de haute qualité depuis des années, cela changera en 2021. À partir du 1er juin, toutes les photos de haute qualité que vous téléchargez sur Google Photos commenceront à être comptabilisées dans le stockage de votre compte Google.

Comment supprimer Facebook Messenger dInstagram après la nouvelle mise à jour

Comment supprimer Facebook Messenger dInstagram après la nouvelle mise à jour

Instagram vous oblige à utiliser Facebook Messenger depuis l'application Instagram ? Voici comment supprimer complètement Messenger d'Instagram. Lire la suite.

Top 10 des applications de surveillance réseau pour Android

Top 10 des applications de surveillance réseau pour Android

Vous n'avez pas besoin d'être un administrateur réseau qualifié pour surveiller un petit réseau domestique ou de bureau. Nous avons dressé une liste des 10 meilleures applications de surveillance réseau pour Android