Agence web » Actualités du digital » Comment configurer des profils SSH personnalisés dans le terminal Windows –

Comment configurer des profils SSH personnalisés dans le terminal Windows –

La nouvelle application Windows Terminal est géniale: l’une des fonctionnalités les plus intéressantes que vous pouvez configurer est les profils SSH personnalisés disponibles sous forme de menu déroulant. Cela vous permet d’accéder rapidement à vos serveurs sans saisir le nom d’hôte à chaque fois!

Conditions préalables

Cette fonctionnalité est généralement destinée à des profils ou des instances séparés, comme Ubuntu WSL vs Powershell vs CMD. Cependant, vous avez la possibilité de lancer un profil et d’exécuter une commande, et cette commande peut être ssh. C’est une configuration assez simple, mais extrêmement utile.

Pour utiliser cette configuration, vous aurez besoin de la nouvelle application Windows Terminal, que vous pouvez télécharger à partir du Windows Store. Vous aurez également besoin de WSL installé, ce qui est lancé lorsque vous exécutez bash.exe. Par défaut, il utilise votre distribution WSL par défaut.

Personnaliser votre profil

Ouvrez l’application du terminal, puis sélectionnez «Paramètres» dans le menu déroulant.

Les paramètres ne sont qu’un fichier JSON que vous devrez modifier. Vous pouvez afficher le schéma pour cela en ligne, mais il doit avoir des profils par défaut auxquels vous pouvez ajouter.

Ajoutez le profil suivant:

{
      "name" : "SERVER NAME",
      "commandline" : "bash.exe -c "ssh ubuntu@example.com "",
      "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, le nom d’hôte et l’utilisateur du serveur, ainsi que le GUID. Vous pouvez éventuellement spécifier une icône pour le serveur, qui peut être chargée à partir du disque.

Le reste du profil n’est que des paramètres standard, bien que vous soyez certainement libre de personnaliser le visage de la police et d’autres options.

Enregistrez-le avec Control + S, et vous le verrez mis à jour la prochaine fois que vous utiliserez le menu déroulant:

Cliquer sur l’un de ces éléments ouvrira automatiquement bash et SSH au serveur spécifié.

★★★★★