Windows Terminal est la principale expérience de ligne de commande pour exécuter l'invite de commande, PowerShell ainsi que Linux sur Windows 10. On peut dire qu'il s'agit d'une application incontournable pour ceux qui souhaitent maîtriser et exploiter tout le potentiel de Windows 10. Windows 10.
L'une des fonctionnalités qui rendent Windows Terminal formidable est la possibilité de configurer des configurations SSH personnalisées, disponibles sous forme de menu déroulant. Cela vous permet d'accéder extrêmement rapidement à votre serveur en cas de besoin, sans avoir à passer par l'étape fastidieuse de saisie manuelle du nom du serveur.
Conditions préalables
Pour utiliser cette fonctionnalité de configuration, vous devez d'abord utiliser la dernière version de Windows Terminal. Si vous n'avez pas cette application sur votre appareil, vous pouvez la télécharger depuis le Windows Store.
En plus de cela, vous devrez également installer WSL – qui sera lancé lorsque vous exécuterez bash.exe. Par défaut, le système utilisera votre distribution WSL par défaut.
Personnalisez votre configuration
Tout d’abord, lancez l’application Windows Terminal. Ensuite, cliquez sur « Paramètres » dans le menu déroulant.
Les paramètres ne sont en fait qu'un fichier JSON que vous devrez modifier. Vous pouvez consulter ce schéma en ligne , mais vous pourrez également ajouter des configurations par défaut.
Ajoutez la configuration suivante :
{
"name" : "SERVER NAME",
"commandline" : "bash.exe -c \"ssh [email protected] \"",
"guid" : "{1d43c510-93e8-bbbb-a18b-e432641e0942}",
"icon" : "C:\\Users\\Anthony\\Pictures\\example.png",
"closeOnExit" : true,
"colorScheme" : "Campbell",
"cursorColor" : "#FFFFFF",
"cursorShape" : "bar",
"fontFace" : "RobotoMono Nerd Font",
"fontSize" : 10,
"historySize" : 9001,
"snapOnInput" : true,
"startingDirectory" : ""
},
Notez que vous devrez modifier le nom d'affichage du serveur, les noms d'hôte et d'utilisateur ainsi que le GUID. Vous pouvez éventuellement spécifier une icône (logo) pour le serveur. Cette icône peut être obtenue à partir du disque dur du système.
Le reste de la configuration ne sera constitué que de paramètres passe-partout. Cependant, vous êtes totalement libre de personnaliser la police et d’autres options si vous le souhaitez.
Enregistrez la configuration avec Control + S et vous la verrez mise à jour la prochaine fois que vous utiliserez le menu déroulant, comme indiqué ci-dessous :
En cliquant sur l'un d'entre eux, vous exécuterez une commande qui ouvrira automatiquement bash et SSH sur le serveur spécifié.