TERMINALE WINDOWS NUOVE IMPOSTAZIONI UI GUARDA DA VICINO

Microsoft ha reso disponibile la versione 1.6 per la sua app Windows Terminal e, tra le novità e i miglioramenti , c'è un'anteprima della nuova UI delle impostazioni, che permette di personalizzare praticamente ogni aspetto dell'app e dei profili della console.

In questa guida , darai un'occhiata più da vicino all'interfaccia su cui Microsoft ha lavorato per personalizzare l'esperienza del terminale senza modificare il file settings.json. (Puoi anche guardare questo video che mette in evidenza la nuova esperienza delle impostazioni .)

Interfaccia utente delle impostazioni del terminale di Windows

Nella versione di anteprima delle impostazioni, devi abilitare l'esperienza manualmente . Una volta abilitato, puoi accedere alle impostazioni usando Ctrl + Maiusc + , scorciatoia da tastiera.

Mentre sei nelle impostazioni di Windows Terminal, noterai che tutto sembra simile alle impostazioni di qualsiasi altra applicazione moderna di Windows 10 con un riquadro sinistro comprimibile che ti consente di navigare tra le diverse pagine.

Al momento in cui scrivo, l'esperienza include cinque pagine di impostazioni (Avvio, Interazione, Aspetto, Combinazioni di colori e Rendering), poi ci sono le impostazioni del profilo, che include la pagina "Livello di base" in modo da poter impostare le personalizzazioni che verranno si applica a tutti i profili oppure puoi modificare le impostazioni per i profili individualmente.

Avviare

La pagina di avvio include le impostazioni per gestire il comportamento di avvio. Ad esempio, puoi specificare il profilo della console predefinito per iniziare con l'app e la modalità e le dimensioni di avvio.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Impostazioni di avvio del terminale di Windows

Interazione

La pagina Interazione consente di gestire le impostazioni per interagire con le console, ad esempio come copiare testo e altro.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Impostazioni di interazione con il terminale di Windows

Aspetto esteriore

La pagina Aspetto ha le impostazioni per cambiare il tema (chiaro o scuro) e le impostazioni delle schede.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Impostazioni di aspetto del terminale di Windows

Combinazioni di colori

La pagina Schemi colore include le impostazioni per creare schemi che puoi applicare ai diversi profili. Usando queste impostazioni, puoi creare schemi per personalizzare il primo piano, lo sfondo e lo sfondo della selezione. E puoi anche selezionare il colore del cursore.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Impostazioni delle combinazioni di colori del terminale di Windows

Una volta creato uno schema, puoi selezionarlo dalle impostazioni dell'aspetto del profilo.

Rendering

La pagina Rendering non è un luogo che useresti spesso poiché include solo opzioni per risolvere i problemi con l'app.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Impostazioni di rendering del terminale di Windows

Livello base

La pagina del livello di base è quella in cui configurerai le impostazioni che si applicheranno a tutti i profili.

La pagina ha tre schede, tra cui Generale, Aspetto e Avanzate.

La scheda Generale consente di personalizzare l'icona, il titolo della scheda e la directory iniziale.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Scheda Generale del livello di base

Al contrario, la scheda Aspetto ti consente di personalizzare elementi come la combinazione di colori, il carattere, il cursore e l'immagine di sfondo.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Scheda Aspetto livello base

Infine, la pagina Avanzate ospita le impostazioni per controllare le modifiche al titolo, lo stile del testo, la dimensione della cronologia, il comportamento di chiusura del profilo e lo stile di notifica della campana.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Scheda avanzata del livello di base

Tutte le impostazioni disponibili in questa pagina sono sovrascritte dalle impostazioni del profilo.

Profili

Poi c'è una pagina per ogni profilo (Windows PowerShell, Prompt dei comandi, ecc.) che hai configurato con l'app.

Tutte le pagine includono anche tre schede, tra cui Generale, Aspetto e Avanzate, e forniscono le stesse impostazioni disponibili nella pagina "Livello di base", oltre a impostazioni specifiche per ciascun profilo.

WINDOWS TERMINAL NEW SETTINGS UI CLOSER LOOK

Impostazioni del profilo di PowerShell

Utilizzando l'interfaccia utente delle impostazioni, puoi anche configurare nuovi profili e accedere al file JSON per modificare le impostazioni con il codice.

L'interfaccia utente delle impostazioni è più un editor intuitivo che un'interfaccia delle impostazioni tradizionale poiché è necessario fare clic sul pulsante Salva per applicare ogni nuova personalizzazione.

Sebbene la possibilità di personalizzare l' esperienza di Windows Terminal sia disponibile da molto tempo, l'interfaccia utente delle impostazioni offre un modo più conveniente e veloce per personalizzare l'esperienza su Windows 10. Tuttavia, al momento della stesura di questo articolo, l'interfaccia è ancora un lavoro in corso e non tutte le impostazioni sono disponibili.



Leave a Comment

4 modi semplici e facili per proteggere Windows 10

4 modi semplici e facili per proteggere Windows 10

Windows 10 rappresenta tre decenni di sviluppo e come sistema operativo è ormai abbastanza raffinato. Ciò non significa, tuttavia, che quando si avvia una nuova copia di questo sistema operativo, sia perfetto in ogni modo.

Come ridimensionare in blocco le foto utilizzando Windows 10

Come ridimensionare in blocco le foto utilizzando Windows 10

Puoi ridimensionare facilmente e rapidamente una singola foto manualmente, ma cosa succede se devi ridimensionare manualmente un gruppo di foto. In questo articolo, esamineremo il processo di ridimensionamento manuale di più foto in un colpo solo utilizzando solo Windows 10.

Regola le regole e le impostazioni del firewall di Windows 10

Regola le regole e le impostazioni del firewall di Windows 10

In Windows 10, Windows Firewall non è cambiato molto da Vista. Nel complesso, è praticamente lo stesso.

Come aggiungere una stampante wireless o di rete in Windows 10

Come aggiungere una stampante wireless o di rete in Windows 10

Ho appena ricevuto una nuova stampante wireless o di rete per la casa o l'ufficio e devo installarla su Windows 10. Rispetto ai vecchi tempi, l'aggiunta di stampanti in Windows al giorno d'oggi è di solito un processo piuttosto semplice, purché la stampante non sia vecchia.

Come scaricare Windows 10 Spotlight/Blocca immagini dello schermo

Come scaricare Windows 10 Spotlight/Blocca immagini dello schermo

Se stai utilizzando Windows 10, probabilmente avrai notato che la schermata di blocco di solito mostra un'immagine di sfondo davvero bella che viene scelta automaticamente da Bing e ridimensionata automaticamente per lo schermo del desktop. Se disponi di un monitor ad alta risoluzione, la funzione funziona particolarmente bene.

Come installare i font su Windows 10

Come installare i font su Windows 10

Se desideri creare un nuovo documento con un testo in evidenza, potresti pensare di installare un nuovo carattere. Questi possono essere trovati online gratuitamente, come parte di un set di caratteri o per l'acquisto.

6 modi per mostrare file e cartelle nascosti in Windows 10

6 modi per mostrare file e cartelle nascosti in Windows 10

Windows 10 offre un'opzione per mostrare file e cartelle nascosti che non vedi per impostazione predefinita. Dopo aver abilitato questa opzione, Esplora file inizia a visualizzare tutti gli elementi nascosti.

Che cosè UAC in Windows 10 e come disabilitarlo

Che cosè UAC in Windows 10 e come disabilitarlo

Se disponi di una rete di computer a casa o sul posto di lavoro, una delle cose che devi controllare è quali utenti o app possono modificare le cose in quel sistema. Un modo per impedire modifiche non autorizzate consiste nell'avere una persona come amministratore di rete.

Come ripristinare le versioni precedenti dei file in Windows 10

Come ripristinare le versioni precedenti dei file in Windows 10

Nelle versioni precedenti di Windows, il salvataggio su un file era un disastro (almeno quando non era intenzionale). Oltre a Ripristino configurazione di sistema, Windows non disponeva di opzioni integrate per ripristinare le modifiche accidentali ai file.

Imposta la cartella predefinita allapertura di Explorer in Windows 10

Imposta la cartella predefinita allapertura di Explorer in Windows 10

Dopo l'aggiornamento a Windows 10 di recente, ho notato che ogni volta che aprivo Explorer, mi mostrava sempre Accesso rapido. Mi piace la nuova funzionalità di accesso rapido, ma ho preferito che Explorer fosse aperto su questo PC.

Come disabilitare Adobe Flash in Microsoft Edge su Windows 10

Come disabilitare Adobe Flash in Microsoft Edge su Windows 10

Se stai utilizzando Windows 10 e il nuovo browser Edge di Microsoft, ti starai chiedendo come disattivare Adobe Flash. Per impostazione predefinita, Microsoft Edge ha il supporto integrato per Adobe Flash, quindi è praticamente sempre abilitato.

Come configurare Gmail su Windows 10

Come configurare Gmail su Windows 10

Se utilizzi Windows 10, potresti essere felice di sapere che ora esiste un modo semplice ed elegante per visualizzare la posta elettronica, i contatti e il calendario di Google utilizzando le app dello store integrate anziché utilizzare Outlook. Outlook è un ottimo client di posta elettronica per i dipendenti aziendali, ma non ne sono un grande fan per la mia posta elettronica personale.

Come mostrare o nascondere cartelle e app nel menu Start su Windows 10

Come mostrare o nascondere cartelle e app nel menu Start su Windows 10

Quando fai clic sul pulsante Start in Windows 10, vedrai che l'interfaccia è divisa in tre sezioni separate: i piccoli pulsanti sul lato sinistro, l'elenco di app e programmi nel mezzo e i riquadri statici o dinamici sulla destra. -lato della mano. Puoi personalizzare parecchie cose sull'aspetto del menu Start, incluso l'elenco di cartelle o collegamenti che appaiono in quel menu a sinistra.

Come creare manualmente un punto di ripristino del sistema in Windows 10

Come creare manualmente un punto di ripristino del sistema in Windows 10

Probabilmente hai letto diversi articoli sulla risoluzione dei problemi che ti avvisano di creare un punto di ripristino del sistema prima di apportare modifiche potenzialmente drastiche al tuo computer Windows. Se non hai idea di cosa significhi un punto di ripristino del sistema, pensalo come una copia di backup delle impostazioni del tuo PC e di altri file di sistema vitali.

10 fantastici hack del registro di Windows 10 che potresti non conoscere

10 fantastici hack del registro di Windows 10 che potresti non conoscere

Man mano che Windows 10 guadagna una quota di mercato maggiore nei prossimi anni, puoi essere certo che ci saranno molti modi per personalizzare o modificare il registro. Molte modifiche visive e nascoste possono essere apportate solo tramite il registro.

Come utilizzare Google Authenticator su Windows 10

Come utilizzare Google Authenticator su Windows 10

Uno dei modi migliori per proteggere i tuoi account online dalla compromissione è utilizzare l'autenticazione a due fattori (2FA). Ciò aggiunge un secondo livello al processo di accesso, richiedendoti di utilizzare un codice generato monouso (di solito creato sul tuo smartphone) per accedere correttamente utilizzando strumenti come Google Authenticator.

Come configurare laudio surround in Windows 10

Come configurare laudio surround in Windows 10

Il suono surround può trasformare la tua esperienza di film o videogiochi. Mentre la maggior parte delle persone utilizza la propria console di gioco o la TV lounge per godersi l'audio surround, Windows 10 ha anche un solido supporto per questo.

Come configurare laccesso automatico per il dominio Windows 10 o il PC del gruppo di lavoro

Come configurare laccesso automatico per il dominio Windows 10 o il PC del gruppo di lavoro

Sicurezza o comodità. Sembra che non possiamo avere entrambi, quindi dobbiamo decidere cosa è più importante per noi.

Come risolvere le perdite di memoria di Windows 10

Come risolvere le perdite di memoria di Windows 10

Una perdita di memoria di Windows 10 si verifica quando un'app che stavi usando non ha restituito le risorse al tuo sistema quando hai finito di usare quell'app. Quando ciò accade, non puoi lavorare su altre attività sul tuo PC poiché il PC non ha abbastanza RAM con cui lavorare.

Le pagine Web si caricano lentamente? 11 correzioni da provare in Windows 10

Le pagine Web si caricano lentamente? 11 correzioni da provare in Windows 10

L'unica cosa peggiore della mancanza di Internet è la lentezza di Internet. Aspettare il caricamento di una pagina web non è solo una perdita di tempo, potrebbe essere del tutto inutile.

Come leggere e condividere il report di sistema su MacBook

Come leggere e condividere il report di sistema su MacBook

Vuoi leggere e condividere il report di sistema su MacBook? Ecco diversi modi per ottenere rapidamente il rapporto.

Nuovo telefono economico rispetto al vecchio telefono di punta: quale dovresti acquistare

Nuovo telefono economico rispetto al vecchio telefono di punta: quale dovresti acquistare

Controlla il nostro confronto dettagliato tra un nuovo telefono economico e un vecchio telefono di punta prima di decidere quale acquistare.

I 8 modi migliori per correggere il ritardo del cursore del mouse su Mac

I 8 modi migliori per correggere il ritardo del cursore del mouse su Mac

Il cursore del mouse è in ritardo sul tuo Mac? Se sei frustrato dal problema, ecco alcune semplici soluzioni che puoi provare a risolverlo.

I 9 modi principali per risolvere il problema dellhotspot mobile che non funziona sui telefoni Samsung Galaxy

I 9 modi principali per risolvere il problema dellhotspot mobile che non funziona sui telefoni Samsung Galaxy

Stai tentando di utilizzare l'hotspot mobile sui telefoni Samsung Galaxy, solo per ricevere errori in cambio? Ecco come risolvere il problema con l'hotspot mobile che non funziona sui telefoni Samsung Galaxy.

Come disattivare la navigazione privata di Safari su Mac

Come disattivare la navigazione privata di Safari su Mac

Vuoi sapere come disattivare la navigazione privata di Safari sul tuo Mac? Ecco come puoi personalizzare la tua esperienza di navigazione in modo rapido ed efficace.

I 16 migliori trucchi per la formattazione del testo di WhatsApp che dovresti conoscere

I 16 migliori trucchi per la formattazione del testo di WhatsApp che dovresti conoscere

Vuoi rendere diverso il tuo carattere WhatsApp? Puoi ravvivare i tuoi messaggi di testo con questi trucchi e suggerimenti creativi per i messaggi di testo di WhatsApp.

I 9 modi principali per risolvere il problema con HomePod che non viene visualizzato nellapp Home

I 9 modi principali per risolvere il problema con HomePod che non viene visualizzato nellapp Home

Il tuo HomePod non viene visualizzato nell'app Home predefinita? Ecco i modi migliori per correggere HomePod che non viene visualizzato nell'app Home.

I 12 modi principali per risolvere la mancata connessione della TV Samsung al Wi-Fi

I 12 modi principali per risolvere la mancata connessione della TV Samsung al Wi-Fi

La tua TV Samsung non riesce a connettersi al Wi-Fi? Ecco i modi migliori per risolvere il problema con la TV Samsung che non si connette al Wi-Fi.

6 migliori adattatori HDMI per MacBook Air nel 2024

6 migliori adattatori HDMI per MacBook Air nel 2024

I migliori adattatori HDMI per MacBook Air e MacBook Pro nel 2024: 1. Adattatore RayCue HDMI, 2. Adattatore Benfei da USB-C a HDMI, 3. Anker USB-C...

Come ripristinare le impostazioni di fabbrica di un deck Steam: una guida completa

Come ripristinare le impostazioni di fabbrica di un deck Steam: una guida completa

Stai riscontrando problemi sul tuo Deck e vuoi ripristinarlo? Consulta la nostra guida completa su come ripristinare correttamente le impostazioni di fabbrica del tuo Steam Deck.