Principal Logiciel Windows Terminal v0.8 est enfin là avec des fonctionnalités intéressantes

Windows Terminal v0.8 est enfin là avec des fonctionnalités intéressantes



Microsoft publie enfin une nouvelle version de Windows Terminal, qui comprend toutes les nouvelles fonctionnalités annoncé plus tôt . Vous pouvez maintenant utiliser la recherche, modifier la taille des onglets et également utiliser les effets rétro CRT dans le terminal Windows.

Publicité

Windows Terminal est une nouvelle application de terminal pour les utilisateurs de ligne de commande qui propose de nombreuses nouvelles fonctionnalités, notamment des onglets, un moteur de rendu de texte DirectWrite / DirectX accéléré par GPU, des profils, etc.

Windows Terminal est entièrement open-source. Grâce à la nouvelle console à onglets, il permet d'organiser des instances de Invite de commandes , PowerShell , et Sous-système Windows pour Linux ensemble dans une seule application.

L'application est livrée avec une icône qui rappelle les nouveaux Icônes Office et OneDrive , reflétant la conception moderne de Microsoft connue sous le nom de «Fluent Design».

Terminal Windows 0.4

Terminal Windows v0.8

Windows Terminal v0.8 est désormais disponible sur le Microsoft Store. Les principaux changements comprennent.

Chercher

La fonctionnalité de recherche a été ajoutée au terminal. La liaison de clé par défaut pour appeler la liste déroulante de recherche est{'commande': 'trouver', 'touches': ['ctrl + shift + f']}.

Recherche de terminal Windows

Effets terminaux rétro

Vous pouvez désormais avoir des effets rétro CRT dans le terminal Windows, tels que des lignes de balayage et du texte lumineux. Quelque chose comme ça:

Terminal rétro vert

Il s'agit d'une fonctionnalité expérimentale, mais pour l'activer, vous pouvez ajouter l'extrait de code suivant à l'un de vos profils:

dónde encontrar fotos en mac

'experimental.retroTerminalEffect': true

Liaisons de touches améliorées des volets et des onglets

Lorsque vous ouvrez un nouveau volet ou un nouvel onglet avec une liaison de clé, vous pouvez désormais spécifier quel profil en utilisant le nom du profil'profile': 'profile-name'guid'profile': 'profile-guid', ou index'index': profil-index. Si aucun n'est spécifié, le profil par défaut est utilisé.

De plus, vous pouvez remplacer certains aspects du profil tels que l'exécutable de ligne de commande du profil'commandline': 'chemin / vers / mon.exe', répertoire de départ'startingDirectory': 'mon / chemin', ou titre de l'onglet'tabTitle': 'nouveau-titre'.

Voici quelques exemples

{'keys': ['ctrl + a'], 'command': {'action': 'splitPane', 'split': 'vertical'}}
Ouvre le profil par défaut dans un nouveau volet vertical.

{'keys': ['ctrl + b'], 'command': {'action': 'splitPane', 'split': 'vertical', 'index': 0}}
Ouvre le premier profil dans la liste déroulante dans un nouveau volet vertical.

{'keys': ['ctrl + c'], 'command': {'action': 'splitPane', 'split': 'horizontal', 'profile': '{00000000-0000-0000-0000-000000000000} ',' ligne de commande ':' foo.exe '}}
Ouvre le profil avec le guid 00000000-0000-0000-0000-000000000000 à l'aide de l'exécutable de ligne de commande de foo.exe dans un nouveau volet horizontal.

{'keys': ['ctrl + d'], 'command': {'action': 'newTab', 'profile': 'profile1', 'startingDirectory': 'c: \ foo'}}
Ouvre le profil avec le nom profile1 commençant dans le répertoire c: foo dans un nouvel onglet.

{'keys': ['ctrl + e'], 'command': {'action': 'newTab', 'index': 1, 'tabTitle': 'bar', 'startingDirectory': 'c: \ foo ',' ligne de commande ':' foo.exe '}}
Ouvre le deuxième profil dans la liste déroulante à l'aide de l'exécutable de ligne de commande de foo.exe avec un titre d'onglet de barre commençant dans le répertoire c: foo dans un nouvel onglet.

Paramètres par défaut personnalisés

Vous pouvez maintenant modifier votre profiles.json pour avoir vos propres paramètres de profil par défaut. Avec cette nouvelle architecture, vous pouvez définir une propriété une seule fois et l'appliquer à tous vos profils. Ce nouveau paramètre permet de minimiser les paramètres redondants entre les profils. Pour ajouter cette fonctionnalité, vous pouvez modifier l'objet profiles dans votre profiles.json pour avoir le'par défaut'et'liste'propriétés au format suivant:

'profiles': {'defaults': {'fontFace': 'Cascadia Code', 'colorScheme': 'Vintage'} 'list': [{'commandLine': 'cmd.exe', 'guid': '{00000000 -0000-0000-0000-000000000000} ',' name ':' cmd '}, {' guid ':' {11111111-1111-1111-1111-111111111111} ',' name ':' PowerShell Core ',' source ':' Windows.Terminal.PowershellCore '}]},

Avec l'extrait de code ci-dessus, tous les profils utiliseront la police Cascadia Code et auront le jeu de couleurs Vintage.

Dimensionnement des onglets

Vous avez maintenant la possibilité de modifier le comportement de vos largeurs de tabulation. Un nouveau paramètre a été ajouté appelé'titleWidthMode'. Ce paramètre propose deux comportements de largeur de tabulation différents:'égal'et'titleLength'.'égal'rendra tous vos onglets de même largeur et rétrécira à mesure que des onglets supplémentaires seront ajoutés, comme dans une expérience de navigateur traditionnelle.'titleLength'dimensionnera chaque onglet à la longueur du titre de l'onglet.

À l'origine, le terminal avait le comportement de largeur de tabulation par défaut défini sur'titleLength'. Cette version modifie le comportement par défaut en'égal'. Si vous souhaitez modifier le comportement de la largeur de votre onglet en'titleLength'mode, vous pouvez ajouter l'extrait de code suivant au'global'propriété de votre fichier profiles.json:

'tabWidthMode': 'titleLength'

Dimensionnement de l

Corrections de bogues

  • La ligne d'onglets s'agrandit désormais lorsque la fenêtre le fait.
  • Le mode plein écran fonctionne désormais de manière plus fiable.
  • Le déplacement de la mise au point entre les volets groupés doit agir comme vous le souhaitez.
  • Les utilisateurs du sous-système Windows pour Linux (WSL) verront désormais leWT_SESSIONvariable d'environnement.
  • Des tas de corrections de crash!

La version actuelle de l'application est disponible sur le Microsoft Store.

Terminal Windows sur le Microsoft Store

cómo descargar gif de twitter

La source

Des Articles Intéressants

Choix De L'Éditeur

Désactiver les recommandations d'extension dans Firefox 68
Désactiver les recommandations d'extension dans Firefox 68
Désactivez les recommandations d'extension dans Firefox 68 Add-ons Manager. L'une des nouvelles fonctionnalités de la version 68 est les recommandations d'extension dans le gestionnaire de modules complémentaires.
Activer ou désactiver les suggestions et les corrections automatiques SwiftKey dans Windows 10
Activer ou désactiver les suggestions et les corrections automatiques SwiftKey dans Windows 10
À partir de la version 17704 et des versions ultérieures, il est possible d'activer ou de désactiver les suggestions et les corrections automatiques pour le clavier SwiftKey dans Windows 10.
Les 8 meilleurs sites de fonds d'écran gratuits
Les 8 meilleurs sites de fonds d'écran gratuits
Les meilleurs sites Web de fonds d'écran gratuits proposant des images uniques et époustouflantes en haute résolution avec des options de téléchargement pour vos écrans mobiles et de bureau.
Comment élever des Axolotl dans Minecraft
Comment élever des Axolotl dans Minecraft
Les axolotls sont une foule passive vivant dans le biome de Lush Caves, surtout lorsqu'un bloc d'argile se trouve sous un espace de frai. Les joueurs peuvent les reproduire et leur progéniture a une chance de développer des mutations. Même si ça semble amusant à faire,
Comment envoyer un lien Instagram
Comment envoyer un lien Instagram
Instagram ne manque certainement pas de fonctionnalités qui vous permettent de rester en contact avec le monde en ligne. Vous pouvez tout partager, des photos et des vidéos aux messages texte et vocaux. Mais qu'en est-il des liens ? Il doit sûrement y avoir
Les meilleurs jouets, cadeaux et gadgets Stars Wars pour marquer la date de sortie de The Last Jedi
Les meilleurs jouets, cadeaux et gadgets Stars Wars pour marquer la date de sortie de The Last Jedi
Une minute après minuit le 14 décembre marque l'ouverture de Star Wars : Les Derniers Jedi, le dernier opus de la franchise emblématique de George Lucas. Il y a de fortes chances que vous connaissiez quelqu'un qui brave des températures inférieures à zéro pour obtenir son étoile
Comment mettre à niveau une carte graphique d'ordinateur portable
Comment mettre à niveau une carte graphique d'ordinateur portable
La plupart des ordinateurs portables ne vous permettent pas de mettre à niveau la carte graphique. Si vous recherchez de meilleures performances, mettez à niveau l’ensemble de votre ordinateur portable ou utilisez un GPU externe.