Come personalizzare il terminale Linux su Chromebook

Come personalizzare il terminale Linux su Chromebook

Con Chrome OS 84 puoi aprire più schede sul terminale. Sembra e si sente completamente come una versione terminale del browser Chrome. A parte questo, hai anche fornito alcune opzioni di personalizzazione. Detto questo, ecco come accedere alle impostazioni di personalizzazione del terminale.

Prima di iniziare

Innanzitutto, assicurati di utilizzare l'ultima versione di Chrome OS o almeno Chrome OS 84 o versioni successive. Per verificare, apri le impostazioni e seleziona l'opzione "Informazioni su Chrome OS" nella barra laterale sinistra. Qui puoi controllare la versione del tuo Chrome OS, se è inferiore alla versione 84, assicurati di aggiornare il sistema operativo. Inoltre, devi abilitare Linux su Chromebook.

Come accedere alla personalizzazione del Terminale Linux

Per accedere alla personalizzazione, prima apri il terminale del tuo Chromebook dal cassetto delle app.

Come personalizzare il terminale Linux su Chromebook

Non c'è un'opzione nel terminale, ma puoi premere a lungo o fare clic con il pulsante destro del mouse sull'icona del terminale sullo scaffale e fare clic su Impostazioni nel menu.

Come personalizzare il terminale Linux su Chromebook

Ora puoi apportare modifiche alle impostazioni del terminale e anche controllare le modifiche nel terminale in tempo reale. Ed ecco tutte le modifiche che puoi fare nelle impostazioni del terminale.

Aspetto esteriore

Nella sezione Aspetto puoi modificare il tema completo del terminale, il colore di sfondo, il carattere, la dimensione del carattere, il colore del cursore, il lampeggio, ecc. Puoi scorrere verso il basso modificando le singole impostazioni a tuo piacimento e le modifiche avvengono in tempo reale così che puoi avere una visione chiara di ciò che sta cambiando e di come appare. Non sono un fan dell'aspetto di personalizzazione del terminale, ma questo rende il terminale più in linea con lo stile di design di Chrome OS.

Come personalizzare il terminale Linux su Chromebook

Tastiera e mouse

Questa è la sezione più importante in quanto puoi impostare scorciatoie e impostazioni da tastiera e mouse. Una scorciatoia che mi è mancata molto è Ctrl+V per incollare il codice nel terminale. Invece, dobbiamo usare Ctrl+Shift+V che crea incoerenza. Ma ora puoi cambiarlo da qui. Basta scorrere verso il basso e abilitare "Ctrl + V incolla comportamento" nelle impostazioni di tastiera e mouse. Ecco fatto, puoi recuperare la tua scorciatoia Crct + V.

In effetti, puoi modificare completamente il comportamento del terminale in modo che si comporti come un browser Chrome abilitando scorciatoie da tastiera come ctrl+T per aprire una nuova scheda, ctrl+1to9 per passare da una scheda all'altra, ecc.

Come personalizzare il terminale Linux su Chromebook

Avvolgendo

Hai anche una sezione del comportamento in cui puoi abilitare cose come mostrare le dimensioni delle dimensioni del terminale quando ridimensionate. Comunque, non ci sono caratteristiche importanti nella sezione del comportamento.

Leggi anche:-  Come espandere lo spazio di archiviazione per Linux sul tuo Chromebook


6 app Android che ti aiutano a ricordare compleanni, inviare una cartolina e altro

6 app Android che ti aiutano a ricordare compleanni, inviare una cartolina e altro

È difficile stare al passo con i compleanni, soprattutto quando si invecchia e si hanno ancora più persone di cui tenere conto, come bambini o suoceri. E non vorrai mai essere quella persona che dimentica costantemente. Mentre puoi tenere traccia dei compleanni nel calendario del tuo telefono, ci sono anche app per questo.

I 7 migliori lanciatori leggeri che funzioneranno su qualsiasi telefono Android

I 7 migliori lanciatori leggeri che funzioneranno su qualsiasi telefono Android

I lanciatori sono le app ideali per personalizzare l'aspetto del tuo telefono Android.

Le 10 migliori app per scoprire gli eventi che accadono intorno a te

Le 10 migliori app per scoprire gli eventi che accadono intorno a te

Uscire e godersi un evento con gli amici è uno dei modi migliori per creare ricordi per tutta la vita. Non importa quale sia il tuo budget, c'è sempre una sorta di intrattenimento disponibile: trovarlo è sempre stata la parte difficile.

Le 5 migliori app Manhwa e Webtoons per Android e iPhone

Le 5 migliori app Manhwa e Webtoons per Android e iPhone

Manhwa e webtoon sono forme di fumetti digitali a scorrimento verticale originari della Corea. La loro crescente popolarità ha causato un'impennata delle versioni digitali, consentendo a più persone di accedervi su dispositivi mobili. Sebbene siano estremamente popolari e coinvolgenti, possono essere difficili da leggere per chi è abituato a leggere i fumetti in orizzontale.

5 modi rapidi per utilizzare la torcia su Android

5 modi rapidi per utilizzare la torcia su Android

Ecco 5 diversi metodi per utilizzare rapidamente la torcia su Android. Puoi usare il gesto, il comando vocale o premere i pulsanti.

Le 10 migliori app di disegno e pittura per Chromebook

Le 10 migliori app di disegno e pittura per Chromebook

Di recente ho testato oltre 20 app di disegno e qui ci sono le migliori una volta tra queste da utilizzare su un Chromebook.

Come personalizzare il widget Google su Android

Come personalizzare il widget Google su Android

Di recente Google ha introdotto una nuova funzionalità che ti consente di modificare lo stile, il raggio, il colore per il tuo widget di ricerca di Google. Vediamo come funziona

Come creare sfondi animati su telefoni Samsung

Come creare sfondi animati su telefoni Samsung

Recentemente, Samsung ha introdotto un nuovo modulo in Good Lock chiamato Wonderland che aiuta a creare sfondi animati. Vediamo come funziona.

Qual è la differenza tra Galaxy Store e Play Store

Qual è la differenza tra Galaxy Store e Play Store

Ti chiedi qual è la differenza tra Galaxy Store e Google Play Store? Leggi il post di confronto per sapere.

7 modi per liberare spazio di archiviazione su Google Foto

7 modi per liberare spazio di archiviazione su Google Foto

Sebbene Google Foto offra con orgoglio per anni l'archiviazione di foto di alta qualità gratuita, questo cambierà nel 2021. A partire dal 1° giugno, tutte le foto di alta qualità che carichi su Google Foto inizieranno a essere conteggiate nello spazio di archiviazione del tuo account Google.