Il terminale è un programma o un'applicazione che troviamo sempre in una distribuzione Gnu / Linux. Ma non è sempre lo stesso. E, nonostante sia il cuore della distribuzione, il terminale è personalizzabile e si può anche scegliere tra diverse tipologie di terminali.
Ubuntu non porta un certo terminale per impostazione predefinita, a volte ha avuto Gnome Terminal, altre volte ha avuto xterm e persino alcuni gusti lo cambiano in Konsole o Lxterm. Attualmente utilizza Gnome Terminal poiché viene fornito con Gnome, ma ciò non significa che non possiamo cambiarlo. Di seguito spieghiamo come modificare il terminale Ubuntu 18.04 predefinito. Se vogliamo scegliere un terminale diverso, dobbiamo prima installarlo. Sul sito web puoi trovare alcuni terminali come Tilda o capolinea, ma ce ne sono molti altri, puoi persino prendere il terminale da un altro desktop diverso da Gnome.
Una volta installato il nuovo terminale, è il momento di contrassegnarlo come terminale predefinito in modo che Ubuntu lo usa ogni volta che apriamo un terminale o eseguiamo qualcosa tramite terminale. Per fare questo dobbiamo aprire il terminale e scrivere quanto segue
sudo update-alternatives --config x-terminal-emulator
Questo ci mostrerà un elenco con le applicazioni terminali che esistono nel nostro sistema. Il terminale che stiamo utilizzando al momento sarà contrassegnato da un asterisco. Adesso, per cambiare il terminale dobbiamo inserire il numero del terminale e premere il tasto invio.
Una volta fatto questo, il terminale ci mostrerà un messaggio che dice che le modifiche sono state apportate correttamente. Ora riavviamo la sessione e possiamo vedere come funziona Ubuntu iniziare a utilizzare il terminale che abbiamo contrassegnato di default. Il processo è semplice, anche se potrebbe non riuscire o le modifiche potrebbero non essere salvate. Pertanto, devi sempre assicurarti che l'asterisco sia stato contrassegnato correttamente, quindi ti consiglio di rieseguire il codice precedente e controllare il terminale predefinito.