Bonjour, Habr ! Nous sommes ravis d'annoncer la sortie d'une nouvelle mise à jour pour Windows Terminal ! Parmi les nouveautés, on trouve : des profils dynamiques, des paramètres en cascade, une interface utilisateur mise à jour, de nouvelles options de démarrage, et plus encore. Découvrez tous les détails ci-dessous !
Comme toujours, le Terminal est disponible en téléchargement sur , et en .
Profils dynamiques
Windows Terminal détecte désormais automatiquement PowerShell Core et les distributions installées de Windows Subsystem for Linux (WSL). En d'autres termes, si après cette mise à jour vous installez une distribution, elle sera immédiatement ajoutée au fichier profiles.json.
Remarque: si vous ne souhaitez pas que le profil apparaisse dans le menu déroulant, vous pouvez définir le paramètre "hidden" sur true dans le fichier profiles.json.
"hidden": true
Paramètres en cascade
Le Terminal dispose désormais d'un modèle d'options amélioré. Il est maintenant livré avec un fichier defaults.json contenant tous les paramètres par défaut. Si vous souhaitez consulter le contenu de ce fichier, maintenez Alt, puis appuyez sur le bouton Paramètres dans le menu déroulant. Le fichier ouvert est généré automatiquement, et les modifications apportées à ce fichier sont ignorées et écrasées. Cependant, vous pouvez ajouter autant de paramètres personnalisés que vous le souhaitez dans le fichier profiles.json. Si vous souhaitez réinitialiser les paramètres, je vous recommande de consulter de Scott Hanselman ( ), qu'il a publié sur son blog.
Si vous ajoutez un nouveau profil, un schéma, un raccourci clavier ou un paramètre global dans profiles.json, il sera considéré comme un paramètre ajouté. Si vous créez un nouveau profil dont le GUID correspond à un existant, votre nouveau profil remplacera l'ancien. Si un raccourci clavier figure dans le fichier defaults.json dont vous souhaitez vous débarrasser, vous devez définir cette liaison sur null dans profiles.json.
{
"command": null, "keys": ["ctrl+shift+w"]
}
Nouvelles options de démarrage
Vous pouvez maintenant configurer le Terminal pour qu'il s'ouvre en plein écran ou définir sa position initiale à l'écran. Pour configurer le Terminal pour un démarrage en plein écran, ajoutez le paramètre global "launchMode". Ce paramètre peut prendre la valeur soit "default", ou bien "maximized".
"launchMode": "maximized"
Si vous souhaitez définir la position initiale du Terminal à l'écran, vous devez ajouter le paramètre global "initialPosition", et en plus, indiquez les coordonnées X et Y séparées par des virgules. Par exemple, si vous souhaitez que le Terminal s'ouvre dans le coin supérieur gauche de votre écran principal, ajoutez dans profiles.json :
"initialPosition": "0,0"
Remarque: si vous utilisez plusieurs moniteurs et souhaitez que le Terminal s'ouvre à gauche ou au-dessus de votre moniteur principal, vous devrez utiliser des coordonnées négatives.
Interface utilisateur mise à jour
L'interface du Terminal est encore meilleure. Le composant utilisé dans le Terminal a été mis à jour vers la version 2.2. Cette version offre un meilleur contraste de couleur, des coins arrondis dans le menu déroulant et des séparateurs d'onglets. De plus, dès que vous ouvrez un grand nombre d'onglets, vous avez la possibilité de les faire défiler à l'aide des boutons.
Corrections de bugs
- Vous pouvez maintenant double-cliquer sur la barre des onglets pour maximiser la fenêtre ;
- Un bug provoquant des problèmes de copier-coller en nouvelle ligne a été corrigé ;
- La copie HTML ne laisse plus le presse-papiers ouvert ;
- Il est maintenant possible d'utiliser des polices dont les noms dépassent 32 caractères ;
- Lors du lancement simultané de deux onglets, la distorsion du texte ne se produit plus ;
- Améliorations générales de la stabilité.
En conclusion
Si vous avez des questions ou si vous souhaitez simplement partager vos impressions sur le Terminal, n'hésitez pas à écrire à Kayla, ) sur Twitter. De plus, si vous rencontrez des problèmes ou avez des suggestions, vous pouvez toujours nous contacter à . À bientôt le mois prochain !
Source : habr.com
