Comment lancer des applications instantanément avec Wox sous Windows
Découvrez comment utiliser Wox pour lancer vos applications, exécuter des commandes et plus encore, instantanément.
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é.
Découvrez comment utiliser Wox pour lancer vos applications, exécuter des commandes et plus encore, instantanément.
Découvrez comment créer un cercle jaune autour du pointeur de la souris pour le mettre en surbrillance sur Windows 10. Suivez ces étapes faciles pour améliorer votre expérience utilisateur.
Découvrez pourquoi l
Sous Windows 11, configurez facilement des raccourcis pour accéder rapidement à des dossiers spéciaux dans votre menu Démarrer.
Découvrez comment résoudre l
Découvrez comment utiliser un disque dur externe avec un Chromebook pour transférer et stocker vos fichiers en toute sécurité. Suivez nos étapes pour un usage optimal.
Dans ce guide, vous apprendrez les étapes pour toujours utiliser une adresse MAC aléatoire pour votre adaptateur WiFi sous Windows 10. Optimisez votre sécurité en ligne!
Découvrez comment désinstaller Internet Explorer 11 sur Windows 10 pour optimiser l'espace de votre disque dur.
Découvrez comment utiliser Smart Defrag, un logiciel de défragmentation de disque dur gratuit et efficace, pour améliorer les performances de votre ordinateur.
Le moyen le plus simple de déverrouiller du contenu et de protéger tous les appareils avec un VPN crypté est de partager la connexion VPN via un point d