WINDOWS TERMINAL NOUVEAUX PARAMÈTRES UI PLUS LOOK

Microsoft a mis à disposition la version 1.6 pour son application Windows Terminal, et parmi les nouvelles fonctionnalités et améliorations , il y a un aperçu de la nouvelle interface utilisateur des paramètres, qui vous permet de personnaliser pratiquement tous les aspects de l'application et des profils de la console.

Dans ce guide , vous examinerez de plus près l'interface sur laquelle Microsoft a travaillé pour personnaliser l'expérience du terminal sans modifier le fichier settings.json. (Vous pouvez également regarder cette vidéo mettant en évidence la nouvelle expérience des paramètres .)

Interface utilisateur des paramètres du terminal Windows

Dans la version préliminaire des paramètres, vous devez activer l'expérience manuellement . Une fois activé, vous pouvez accéder aux paramètres à l'aide du raccourci clavier Ctrl + Maj + .

Dans les paramètres de Windows Terminal, vous remarquerez que tout ressemble aux paramètres de toute autre application moderne de Windows 10 avec un volet gauche pliable qui vous permet de naviguer dans les différentes pages.

Au moment d'écrire ces lignes, l'expérience comprend cinq pages de paramètres (Démarrage, Interaction, Apparence, Schémas de couleurs et Rendu), puis il y a les paramètres de profil, qui incluent la page "Couche de base" afin que vous puissiez définir les personnalisations qui s'appliquent à tous les profils, ou vous pouvez modifier les paramètres des profils individuellement.

Commencez

La page de démarrage inclut les paramètres permettant de gérer le comportement de démarrage. Par exemple, vous pouvez spécifier le profil de console par défaut pour démarrer avec l'application, ainsi que le mode de lancement et la taille.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Paramètres de démarrage du terminal Windows

Interaction

La page Interaction vous permet de gérer les paramètres pour interagir avec les consoles, comme la façon de copier du texte et autres.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Paramètres d'interaction avec le terminal Windows

Apparence

La page Apparence contient les paramètres permettant de modifier le thème (clair ou sombre) et les paramètres des onglets.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Paramètres d'apparence du terminal Windows

Schémas de couleurs

La page Schémas de couleurs comprend les paramètres pour créer des schémas que vous pouvez appliquer aux différents profils. À l'aide de ces paramètres, vous pouvez créer des schémas pour personnaliser le premier plan, l'arrière-plan et l'arrière-plan de la sélection. Et vous pouvez même sélectionner la couleur du curseur.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Paramètres des schémas de couleurs du terminal Windows

Une fois que vous avez créé un schéma, vous pouvez le sélectionner dans les paramètres d'apparence du profil.

Le rendu

La page Rendu n'est pas un endroit que vous utiliseriez souvent car elle ne comprend que des options pour résoudre les problèmes avec l'application.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Paramètres de rendu du terminal Windows

Couche de base

La page Couche de base est celle où vous configurerez les paramètres qui s'appliqueront à tous les profils.

La page comporte trois onglets, dont Général, Apparence et Avancé.

L' onglet Général vous permet de personnaliser l'icône, le titre de l'onglet et le répertoire de départ.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Onglet général de la couche de base

En revanche, l' onglet Apparence vous permet de personnaliser des éléments tels que le jeu de couleurs, la police, le curseur et l'image d'arrière-plan.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Onglet Apparence de la couche de base

Enfin, la page Avancé contient des paramètres permettant de contrôler les changements de titre, le style de texte, la taille de l'historique, le comportement de terminaison du profil et le style de notification de la cloche.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Onglet Avancé de la couche de base

Tous les paramètres disponibles sur cette page sont remplacés par les paramètres du profil.

Profils

Ensuite, il y a une page pour chaque profil (Windows PowerShell, Invite de commandes, etc.) que vous avez configuré avec l'application.

Toutes les pages comprennent également trois onglets, dont Général, Apparence et Avancé, et elles fournissent les mêmes paramètres disponibles dans la page "Couche de base", ainsi que des paramètres spécifiques pour chaque profil.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Paramètres de profil PowerShell

À l'aide de l'interface utilisateur de configuration, vous pouvez également configurer de nouveaux profils et accéder au fichier JSON pour modifier les paramètres avec du code.

L'interface utilisateur des paramètres est plus un éditeur convivial qu'une interface de paramètres traditionnelle, car vous devez cliquer sur le bouton Enregistrer pour appliquer chaque nouvelle personnalisation.

Bien que la possibilité de personnaliser l' expérience Windows Terminal soit disponible depuis longtemps, l'interface utilisateur des paramètres offre un moyen plus pratique et plus rapide de personnaliser l'expérience sur Windows 10. Cependant, au moment d'écrire ces lignes, l'interface est encore un travail en cours et tous les réglages ne sont pas disponibles.



Leave a Comment

4 façons simples et faciles de sécuriser Windows 10

4 façons simples et faciles de sécuriser Windows 10

Windows 10 représente trois décennies de développement et en tant que système d'exploitation, il est maintenant assez perfectionné. Cela ne signifie pas pour autant que lorsque vous démarrez une nouvelle copie de ce système d'exploitation, il est parfait à tous points de vue.

Comment redimensionner des photos en masse avec Windows 10

Comment redimensionner des photos en masse avec Windows 10

Vous pouvez facilement et rapidement redimensionner une seule photo manuellement, mais que se passe-t-il si vous devez redimensionner manuellement un groupe de photos. Dans cet article, passez en revue le processus de redimensionnement manuel de plusieurs photos en une seule prise en utilisant uniquement Windows 10.

Ajuster les règles et paramètres du pare-feu Windows 10

Ajuster les règles et paramètres du pare-feu Windows 10

Dans Windows 10, le pare-feu Windows n'a pas beaucoup changé depuis Vista. Dans l'ensemble, c'est à peu près la même chose.

Comment ajouter une imprimante sans fil ou réseau dans Windows 10

Comment ajouter une imprimante sans fil ou réseau dans Windows 10

Vous venez de recevoir une nouvelle imprimante sans fil ou réseau pour votre maison ou votre bureau et vous devez l'installer sur Windows 10. Par rapport à l'ancien temps, l'ajout d'imprimantes dans Windows est généralement un processus assez simple, tant que l'imprimante n'est pas ancienne.

Comment télécharger les images de lécran Spotlight/Lock de Windows 10

Comment télécharger les images de lécran Spotlight/Lock de Windows 10

Si vous utilisez Windows 10, vous avez probablement remarqué que l'écran de verrouillage affiche généralement une très belle image d'arrière-plan qui est automatiquement choisie à partir de Bing et automatiquement dimensionnée pour l'écran de votre bureau. Si vous avez un moniteur haute résolution, la fonctionnalité fonctionne particulièrement bien.

Comment installer des polices sur Windows 10

Comment installer des polices sur Windows 10

Si vous souhaitez créer un nouveau document avec un texte qui se démarque, vous pouvez envisager d'installer une nouvelle police. Ceux-ci peuvent être trouvés en ligne gratuitement, dans le cadre d'un jeu de polices ou à l'achat.

6 façons dafficher les fichiers et dossiers cachés dans Windows 10

6 façons dafficher les fichiers et dossiers cachés dans Windows 10

Windows 10 offre une option pour afficher les fichiers et dossiers cachés que vous ne voyez pas par défaut. Une fois que vous avez activé cette option, l'explorateur de fichiers commence à afficher tous vos éléments cachés.

Quest-ce que lUAC dans Windows 10 et comment le désactiver

Quest-ce que lUAC dans Windows 10 et comment le désactiver

Si vous avez un réseau d'ordinateurs chez vous ou sur votre lieu de travail, l'une des choses que vous devez contrôler est quels utilisateurs ou applications peuvent changer les choses dans ce système. Une façon d'empêcher les modifications non autorisées est d'avoir une personne comme administrateur réseau.

Comment restaurer des versions précédentes de fichiers dans Windows 10

Comment restaurer des versions précédentes de fichiers dans Windows 10

Dans les versions précédentes de Windows, l'enregistrement sur un fichier était un désastre (du moins lorsqu'il n'était pas intentionnel). Au-delà de la restauration du système, Windows n'avait pas d'options intégrées pour annuler les modifications accidentelles apportées aux fichiers.

Définir le dossier par défaut lors de louverture de lexplorateur dans Windows 10

Définir le dossier par défaut lors de louverture de lexplorateur dans Windows 10

Après la mise à niveau vers Windows 10 récemment, j'ai remarqué que chaque fois que j'ouvrais l'Explorateur, il me montrait toujours un accès rapide. J'aime la nouvelle fonctionnalité d'accès rapide, mais j'ai préféré ouvrir l'Explorateur sur ce PC à la place.

Comment désactiver Adobe Flash dans Microsoft Edge sous Windows 10

Comment désactiver Adobe Flash dans Microsoft Edge sous Windows 10

Si vous utilisez Windows 10 et le nouveau navigateur Edge de Microsoft, vous vous demandez peut-être comment désactiver Adobe Flash. Par défaut, Microsoft Edge a un support intégré pour Adobe Flash, donc il est fondamentalement activé tout le temps.

Comment configurer Gmail dans Windows 10

Comment configurer Gmail dans Windows 10

Si vous utilisez Windows 10, vous serez peut-être heureux de savoir qu'il existe désormais un moyen simple et élégant d'afficher votre messagerie, vos contacts et votre calendrier Google à l'aide d'applications de magasin intégrées plutôt qu'à l'aide d'Outlook. Outlook est un excellent client de messagerie pour les employés d'entreprise, mais je ne suis pas un grand fan de celui-ci pour ma messagerie personnelle.

Comment afficher ou masquer des dossiers et des applications dans le menu Démarrer de Windows 10

Comment afficher ou masquer des dossiers et des applications dans le menu Démarrer de Windows 10

Lorsque vous cliquez sur le bouton Démarrer de Windows 10, vous verrez que l'interface est divisée en trois sections distinctes : les petits boutons sur le côté gauche, la liste des applications et des programmes au milieu et les vignettes statiques ou dynamiques sur la droite. -côté. Vous pouvez personnaliser pas mal de choses sur l'apparence du menu Démarrer, y compris la liste des dossiers ou des liens qui apparaissent dans ce menu de gauche.

Comment créer manuellement un point de restauration système dans Windows 10

Comment créer manuellement un point de restauration système dans Windows 10

Vous avez probablement lu plusieurs articles de dépannage qui vous avertissent de créer un point de restauration système avant d'apporter des modifications potentiellement radicales à votre ordinateur Windows. Si vous n'avez aucune idée de ce que signifie un point de restauration système, considérez-le comme une copie de sauvegarde des paramètres de votre PC et d'autres fichiers système vitaux.

10 hacks de registre impressionnants de Windows 10 que vous ne connaissez peut-être pas

10 hacks de registre impressionnants de Windows 10 que vous ne connaissez peut-être pas

Alors que Windows 10 gagne une plus grande part de marché au cours des prochaines années, vous pouvez être sûr qu'il y aura de nombreuses façons de personnaliser ou de modifier le registre. De nombreux changements visuels et sous le capot ne peuvent être effectués que via le registre.

Comment utiliser Google Authenticator sur Windows 10

Comment utiliser Google Authenticator sur Windows 10

L'un des meilleurs moyens de protéger vos comptes en ligne contre la compromission consiste à utiliser l'authentification à deux facteurs (2FA). Cela ajoute une deuxième couche au processus de connexion, vous obligeant à utiliser un code généré à usage unique (généralement créé sur votre smartphone) pour vous connecter avec succès à l'aide d'outils tels que Google Authenticator.

Comment configurer le son surround dans Windows 10

Comment configurer le son surround dans Windows 10

Le son surround peut transformer votre expérience de film ou de jeu vidéo. Alors que la plupart des gens utilisent leur console de jeu ou leur téléviseur de salon pour profiter du son surround, Windows 10 le prend également en charge de manière robuste.

Comment configurer la connexion automatique pour un domaine Windows 10 ou un PC de groupe de travail

Comment configurer la connexion automatique pour un domaine Windows 10 ou un PC de groupe de travail

Sécurité ou confort. Il semble que nous ne pouvons pas avoir les deux, alors nous devons décider ce qui est le plus important pour nous.

Comment réparer les fuites de mémoire de Windows 10

Comment réparer les fuites de mémoire de Windows 10

Une fuite de mémoire Windows 10 se produit lorsqu'une application que vous utilisiez n'a pas renvoyé les ressources sur votre système lorsque vous avez fini d'utiliser cette application. Lorsque cela se produit, vous ne pouvez pas travailler sur d'autres tâches sur votre PC car le PC n'a pas assez de RAM pour travailler.

Les pages Web se chargent lentement ? 11 correctifs à essayer dans Windows 10

Les pages Web se chargent lentement ? 11 correctifs à essayer dans Windows 10

La seule chose pire que pas d'internet est un internet lent. Attendre qu'une page Web se charge n'est pas seulement une perte de temps, cela peut être complètement inutile.

Comment lire et partager le rapport système sur MacBook

Comment lire et partager le rapport système sur MacBook

Voulez-vous lire et partager le rapport système sur MacBook ? Voici différentes manières d’obtenir le rapport rapidement.

Nouveau téléphone économique ou ancien téléphone phare : lequel devriez-vous acheter

Nouveau téléphone économique ou ancien téléphone phare : lequel devriez-vous acheter

Consultez notre comparaison détaillée entre un nouveau téléphone économique et un ancien téléphone phare avant de décider lequel vous devriez acheter.

Les 8 meilleures façons de corriger le retard du curseur de la souris sur Mac

Les 8 meilleures façons de corriger le retard du curseur de la souris sur Mac

Le curseur de la souris est-il en retard sur votre Mac ? Si le problème vous frustre, voici quelques solutions simples que vous pouvez essayer de résoudre.

Les 9 meilleures façons de réparer le point daccès mobile ne fonctionne pas sur les téléphones Samsung Galaxy

Les 9 meilleures façons de réparer le point daccès mobile ne fonctionne pas sur les téléphones Samsung Galaxy

Essayez-vous d'utiliser le point d'accès mobile sur les téléphones Samsung Galaxy, uniquement pour recevoir des erreurs en retour ? Voici comment réparer le point d'accès mobile qui ne fonctionne pas sur les téléphones Samsung Galaxy.

Comment désactiver la navigation privée Safari sur Mac

Comment désactiver la navigation privée Safari sur Mac

Vous voulez savoir comment désactiver la navigation privée Safari sur votre Mac ? Voici comment vous pouvez personnaliser votre expérience de navigation rapidement et efficacement.

Top 16 des astuces de formatage de texte WhatsApp que vous devriez connaître

Top 16 des astuces de formatage de texte WhatsApp que vous devriez connaître

Vous voulez rendre votre police WhatsApp différente ? Vous pouvez pimenter vos messages texte avec ces trucs et astuces créatifs pour les textes WhatsApp.

Les 9 meilleures façons de réparer le HomePod qui napparaît pas dans lapplication Home

Les 9 meilleures façons de réparer le HomePod qui napparaît pas dans lapplication Home

Votre HomePod n’apparaît-il pas dans l’application Maison par défaut ? Voici les meilleures façons de réparer le HomePod qui n’apparaît pas dans l’application Accueil.

Les 12 meilleures façons de réparer un téléviseur Samsung qui ne se connecte pas au Wi-Fi

Les 12 meilleures façons de réparer un téléviseur Samsung qui ne se connecte pas au Wi-Fi

Votre téléviseur Samsung ne parvient-il pas à se connecter au Wi-Fi ? Voici les meilleures façons de réparer le téléviseur Samsung qui ne se connecte pas au Wi-Fi.

6 meilleurs adaptateurs HDMI pour MacBook Air en 2024

6 meilleurs adaptateurs HDMI pour MacBook Air en 2024

Meilleurs adaptateurs HDMI pour MacBook Air et MacBook Pro en 2024 : 1. Adaptateur HDMI RayCue, 2. Adaptateur Benfei USB-C vers HDMI, 3. Anker USB-C...

Comment réinitialiser un Steam Deck aux paramètres dusine : un guide complet

Comment réinitialiser un Steam Deck aux paramètres dusine : un guide complet

Vous rencontrez des problèmes sur votre Deck et souhaitez le réinitialiser ? Consultez notre guide complet pour savoir comment réinitialiser correctement votre Steam Deck en usine.