WINDOWS TERMINAL OTTIENE NUOVE FUNZIONALITÀ CON LA VERSIONE 1.9

  • Microsoft rende disponibile Windows Terminal versione 1.9.
  • L'aggiornamento include l'opzione per rendere il Terminale di Windows l'app terminale predefinita su Windows 10.
  • Introduce la modalità Quake, il carattere corsivo Cascadia Code e i miglioramenti dell'interfaccia utente delle impostazioni.

Microsoft ha rilasciato in anteprima la versione 1.9 per la sua applicazione Windows Terminal e questa implementazione include alcune nuove funzionalità e miglioramenti interessanti.

Secondo l' annuncio dell'azienda , Windows Terminal versione 1.9 consente di impostare l'app come predefinita per l'apertura del prompt dei comandi, PowerShell, WSL, ecc. Introduce la modalità Quake per aprire rapidamente nuove istanze di terminale utilizzando una scorciatoia da tastiera. L'app viene fornita con una versione in corsivo del carattere Cascadia Code. Inoltre, questa versione introduce ulteriori modifiche all'interfaccia utente delle impostazioni, inclusa una nuova pagina delle azioni modificabili, una nuova pagina per aggiungere nuovi profili e altro ancora.

Novità di Windows Terminal 1.9

Queste sono tutte le novità che troverai dopo aver installato la versione 1.9 dell'app del terminale:

Esperienza terminale predefinita

A partire dalla versione 1.9 (e Windows 10 build 21390 ), il Terminale di Windows include un'opzione che consente di rendere l'applicazione l'esperienza predefinita per tutti i terminali, inclusi PowerShell e Prompt dei comandi. Ciò significa che l'apertura di qualsiasi interprete della riga di comando si aprirà direttamente nel terminale di Windows anziché nell'host console Windows legacy.

WINDOWS TERMINAL GETS NEW FEATURES WITH VERSION 1.9

App predefinita di Windows Terminal

Modalità terremoto

La modalità Quake è una nuova funzionalità per aprire rapidamente nuove istanze del terminale utilizzando il tasto Windows + ` scorciatoia da tastiera. Una volta invocata la scorciatoia, la finestra del terremoto apparirà nella metà superiore dello schermo e utilizzerai di nuovo la stessa scorciatoia per chiuderla.

WINDOWS TERMINAL GETS NEW FEATURES WITH VERSION 1.9

Modalità terremoto

Carattere codice Cascadia

Microsoft sta aggiornando il carattere Cascadia Code per includere la variante corsiva con lettere corsive in questa versione. Le versioni dei caratteri senza "Corsivo" nel nome avranno un corsivo standard senza le lettere corsive.

Miglioramenti dell'interfaccia utente delle impostazioni

Windows Terminal versione 1.9 include anche varie modifiche per l'interfaccia utente delle impostazioni.

Ad esempio, ora puoi modificare le scorciatoie da tastiera esistenti dalle pagine "Azioni" invece di modificare il file JSON.

WINDOWS TERMINAL GETS NEW FEATURES WITH VERSION 1.9

Scorciatoia da tastiera per modificare il terminale di Windows

L'interfaccia utente delle impostazioni introduce anche una nuova pagina per creare profili. Utilizzando la nuova esperienza, puoi duplicare o creare un profilo vuoto. Inoltre, la scheda Aspetto del profilo ora include un'anteprima che mostra come appariranno le modifiche nella console.

Oltre ai miglioramenti, ora puoi disabilitare il rilevamento degli URL con l' experimental.detectURLsimpostazione globale.

Windows Terminal 1.9 è ora disponibile in anteprima con le nuove funzionalità sopra menzionate e diverse correzioni di bug e puoi scaricarlo da Microsoft Store o GitHub. Se stai utilizzando il canale stabile dell'app, ora puoi eseguire l'aggiornamento alla versione 1.8, che include tutti questi miglioramenti .



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.

9 modi migliori per risolvere il problema Il motore di ricerca di Safari continua a passare a Yahoo

9 modi migliori per risolvere il problema Il motore di ricerca di Safari continua a passare a Yahoo

Il motore di ricerca Safari che cambia in Yahoo può confonderti. Ecco i modi migliori per rimuovere la ricerca Yahoo da Safari.

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...