De terminal is een programma of applicatie die we altijd vinden in een Gnu / Linux-distributie. Maar het is niet altijd hetzelfde. En ondanks dat het het hart van de distributie is, kan de terminal worden aangepast en kunt u zelfs kiezen tussen verschillende soorten terminals.
Ubuntu brengt standaard niet een bepaalde terminal, soms heeft het Gnome Terminal gehad, soms heeft het xterm gehad en zelfs sommige smaken veranderen het in Konsole of Lxterm. Momenteel gebruikt het Gnome Terminal omdat het met Gnome wordt geleverd, maar dat betekent niet dat we het niet kunnen wijzigen. Hieronder leggen we uit hoe je de standaard Ubuntu 18.04-terminal kunt wijzigen. Als we een andere terminal willen kiezen, moeten we die terminal eerst installeren. Op de website vindt u enkele terminals zoals Tilda o Eindpunt, maar er zijn er nog veel meer, je kunt de terminal zelfs van een andere desktop dan Gnome halen.
Nadat we de nieuwe terminal hebben geïnstalleerd, is het tijd om deze als de standaardterminal te markeren, zodat Ubuntu gebruikt het telkens wanneer we een terminal openen of iets via terminal uitvoeren Om dit te doen, moeten we de terminal openen en het volgende schrijven
sudo update-alternatives --config x-terminal-emulator
Dit toont ons een lijst met de terminaltoepassingen die in ons systeem bestaan. De terminal die we momenteel gebruiken, wordt gemarkeerd met een asterisk. Nu, om de terminal te wijzigen, moeten we het terminalnummer invoeren en op de enter-toets drukken.
Zodra we dit hebben gedaan, de terminal zal ons een bericht laten zien dat de wijzigingen correct zijn aangebracht Nu herstarten we de sessie en kunnen we zien hoe Ubuntu gebruik de terminal die we standaard hebben gemarkeerd Het proces is eenvoudig, hoewel het kan mislukken of de wijzigingen mogelijk niet worden opgeslagen. Daarom moet je er altijd voor zorgen dat de asterisk correct is gemarkeerd, dus ik raad aan om de vorige code opnieuw uit te voeren en de standaardterminal te controleren.