Windows Terminal 1.13 in uscita con linterfaccia utente delle impostazioni ridisegnata e lelevazione automatica

  • Windows Terminal versione 1.13 viene rilasciato come anteprima.
  • L'aggiornamento introduce una nuova interfaccia delle impostazioni riprogettata e un'opzione per eseguire i profili come amministratore all'avvio.

Microsoft sta ora implementando Windows Terminal versione 1.13 in anteprima con nuove modifiche visive all'interfaccia e alle funzionalità delle impostazioni, come la possibilità di eseguire il terminale come amministratore per impostazione predefinita.

Secondo i log delle modifiche ufficiali , la versione 1.13 introduce un nuovo design dell'interfaccia delle impostazioni che si allinea allo stile di Windows 11 con angoli arrotondati, impostazioni espandibili e altro ancora.

Se sei un utente tecnico che usa spesso una shell dei comandi con privilegi elevati, a partire da questa versione, puoi configurare ogni profilo per l'esecuzione con privilegi elevati all'avvio automatico del Terminale di Windows. Puoi tenere premuto il tasto "Ctrl" e fare clic sul profilo per eseguirlo come amministratore.

Inoltre, il terminale aggiunge l' elevateargomento alle azioni new-tabe split-pane, consentendo di avviare un nuovo profilo come elevato utilizzando un'azione.

// Impostazione del profilo "elevate": true // Azione nuova scheda { "command": { "action": "newTab", "elevate": true }, "keys": "ctrl+shift+1" } // Dividi azione del riquadro { "comando": { "azione": "splitPane", "split": "auto", "elevate": true }, "keys": "alt+shift+e" }

Inoltre, Windows Terminal 1.13 introduce un nuovo motore di rendering sperimentale, che puoi abilitare impostando experimental.useAtlasEnginesu true. Secondo l'azienda, non vedrai significativi vantaggi in termini di prestazioni. Tuttavia, il nuovo renderer disegnerà alla frequenza di aggiornamento del display indipendentemente dalla risoluzione dello schermo quando si tratta di molti colori.

Infine, ora puoi personalizzare il suono della campana del tuo profilo utilizzando l' bellSoundimpostazione. Questa impostazione accetta un percorso di file come una stringa o una matrice di stringhe di percorsi di file. Durante l'utilizzo di un array, il terminale selezionerà casualmente un suono di campanello da riprodurre.

Inoltre, ora puoi ripristinare schede o riquadri chiusi di recente con la nuova restoreLastClosedazione. La nuova exportBufferazione consente di esportare il testo all'interno del buffer in un file di testo. E la nuova adjustOpacityazione ti consente di modificare l'opacità della finestra del terminale in fase di esecuzione.

Windows Terminal 1.13 è 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.12, 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.

14 modi per risolvere il problema con Logitech Flow che non funziona

14 modi per risolvere il problema con Logitech Flow che non funziona

Logitech Flow non rileva altri computer o non riesci a utilizzarlo? Scopri come risolvere il problema con Logitech Flow che non funziona su Windows o Mac.

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.