Come impostare la configurazione SSH personalizzata nel terminale Windows

Come impostare la configurazione SSH personalizzata nel terminale Windows

Windows Terminal è la principale esperienza da riga di comando per eseguire il prompt dei comandi, PowerShell e Linux su Windows 10. Si può dire che si tratta di un'applicazione indispensabile per coloro che desiderano padroneggiare e sfruttare tutto il potenziale di Windows 10. Windows 10.

Una delle funzionalità che rendono eccezionale Windows Terminal è la possibilità di impostare configurazioni SSH personalizzate, disponibili come menu a discesa. Ciò ti consente di accedere al tuo server in modo estremamente rapido quando necessario, senza dover passare attraverso la lunga fase di inserimento manuale del nome del server.

Prerequisiti

Per utilizzare questa funzionalità di configurazione, dovrai prima utilizzare la versione più recente di Windows Terminal. Se non hai questa applicazione sul tuo dispositivo, puoi scaricarla da Windows Store.

Oltre a ciò, dovrai anche installare WSL, che è ciò che verrà avviato quando esegui bash.exe. Per impostazione predefinita, il sistema utilizzerà la distribuzione WSL predefinita.

Personalizza la tua configurazione

Innanzitutto, avvia l'applicazione Terminale Windows. Quindi, fai clic su "Impostazioni" dal menu a discesa.

Come impostare la configurazione SSH personalizzata nel terminale Windows

Le impostazioni sono in realtà solo un file JSON che dovrai modificare. Puoi visualizzare questo schema online , ma ci saranno anche alcune configurazioni predefinite che puoi aggiungere.

Come impostare la configurazione SSH personalizzata nel terminale Windows

Aggiungi la seguente configurazione:

{
      "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" : ""
},

Tieni presente che dovrai modificare il nome visualizzato del server, i nomi host e utente e il GUID. Facoltativamente è possibile specificare un'icona (logo) per il server. Questa icona può essere ottenuta dal disco rigido del sistema.

Il resto della configurazione saranno solo impostazioni standard. Tuttavia, sei completamente libero di personalizzare il carattere e altre opzioni, se lo desideri.

Salva la configurazione con Control + S e la vedrai aggiornata la prossima volta che utilizzerai il menu a discesa, come mostrato di seguito:

Come impostare la configurazione SSH personalizzata nel terminale Windows

Facendo clic su uno di questi verrà eseguito un comando che aprirà automaticamente bash e SSH sul server specificato.


5 modi più semplici per inserire la chiave di Windows 10

5 modi più semplici per inserire la chiave di Windows 10

Quando la vecchia chiave Windows 10 è scaduta, è necessario inserire una nuova chiave per sostituirla. Scopri i 5 metodi più semplici per cambiare la chiave di attivazione di Windows 10.

Come creare un nuovo Utente su Windows 10 utilizzando Gestione Computer e Pannello di Controllo

Come creare un nuovo Utente su Windows 10 utilizzando Gestione Computer e Pannello di Controllo

Scopri come creare un nuovo utente su Windows 10 senza utilizzare un account Microsoft. Attraverso Gestione Computer e Pannello di Controllo, è possibile proteggere i dati e gestire gli accessi in modo efficace.

Come modificare le impostazioni regionali su Windows 10

Come modificare le impostazioni regionali su Windows 10

Scopri come modificare le impostazioni regionali su Windows 10 per personalizzare l

Come scrivere il simbolo del copyright © (simbolo del copyright) su un computer

Come scrivere il simbolo del copyright © (simbolo del copyright) su un computer

Il simbolo del copyright (©) è un carattere speciale comunemente utilizzato da fotografi e creatori di contenuti. Scopri come inserirlo su Windows e Mac con metodi aggiornati.

Come risolvere lerrore Il nome del PC non è valido su Windows 11

Come risolvere lerrore Il nome del PC non è valido su Windows 11

Scopri come correggere l

Come eliminare le cartelle Rullino fotografico e Immagini salvate in Windows 10

Come eliminare le cartelle Rullino fotografico e Immagini salvate in Windows 10

Scopri come spostare, nascondere o eliminare le cartelle Rullino fotografico e Immagini salvate in Windows 10 in modo efficace. Segui i nostri passaggi e suggerimenti per semplificare la tua esperienza.

Come trovare la posizione dei file scaricati sul Chromebook

Come trovare la posizione dei file scaricati sul Chromebook

Scopri come localizzare facilmente i file scaricati su Chromebook utilizzando diversi metodi efficaci.

Come visualizzare ed eliminare la cronologia delle attività su Windows 10

Come visualizzare ed eliminare la cronologia delle attività su Windows 10

Fai riferimento a come visualizzare ed eliminare la cronologia delle attività su Windows 10 nell

Istruzioni per lutilizzo dellindirizzo IP 192.168.2.2

Istruzioni per lutilizzo dellindirizzo IP 192.168.2.2

Scopri come utilizzare l

Come modificare le impostazioni degli effetti visivi in ​​Windows 10

Come modificare le impostazioni degli effetti visivi in ​​Windows 10

Scopri come modificare le impostazioni degli effetti visivi in Windows 10 per migliorare le prestazioni del PC. Questo articolo guida ti mostrerà tutti i passaggi necessari.