Jak ustawić Alacritty jako domyślny terminal w Ubuntu 22.04 lub 20.04

Poznaj kroki umożliwiające ustawienie emulatora Alacritty jako domyślnego terminala w Ubuntu 22.04 Jammy lub Fossa Focal 20.04 w celu wykonywania instrukcji.

Terminal Alacritty znany jest ze swojej dużej szybkości. Został napisany w języku Rust i wykorzystuje OpenGL do renderowania, dzięki czemu jest najszybszym dostępnym emulatorem terminala. Jest to najłatwiejszy w obsłudze emulator terminala dla systemu Linux, ponieważ jego twórcy chcieli poprawić jego wydajność. Oznacza to, że nie napotkasz problemów typu zakładki, podziały czy edytor konfiguracji GUI. Dlatego też terminal ten jest przeznaczony dla użytkowników Linuksa, którzy korzystają ze starego systemu lub mają ograniczoną liczbę źródeł, albo szukają terminala nastawionego na wydajność.

Nie jest to rozwiązanie dla osób, które potrzebują zaawansowanego terminala z dziesiątkami opcji podobnych do Tabby i Terminatora, jako prostej i minimalistycznej alternatywy, która może wykorzystać GPU w celu zwiększenia wydajności. Cóż, jest to stosunkowo nowy terminal w porównaniu do innych modnych nazw, takich jak terminal Gnome czy terminal XFCE.

Właśnie tutaj, w tym artykule instruktażowym, dowiemy się, jak ustawić Alacritty jako domyślne oprogramowanie terminalowe w systemie Ubuntu 22.04 lub 20.04 Linux…

Kroki ustawiania Alacritty jako domyślnego terminala w Ubuntu 22.04 lub 20.04

Uruchom terminal poleceń

Musisz użyć domyślnego terminala Ubuntu lub Możesz użyć czegokolwiek chcesz, ale teraz musimy użyć terminala. Należy użyć skrótu klawiaturowego Ctlr+Alt+T.

Zmiana domyślnego terminala w Ubuntu na Alacritty

Otóż, aby zmienić domyślny terminal Ubuntu i ustawić inny, potrzebujemy co najmniej innej aplikacji emulującej terminal, innej niż ta, która jest dołączona do systemu. Na przykład Ubuntu udostępnia terminal Gnome, ale być może zainstalowałeś aplikację Alacritty i chcesz, aby któraś z nich była ustawiona jako domyślna. W takich przypadkach pomocne może okazać się wbudowane narzędzie naszego systemu Linux, zwane zaktualizuj alternatywy, może być używany.

Za pomocą tego narzędzia możemy przełączać się między funkcjami terminala w naszym systemie, ustawiając dowolną z nich jako domyślną. Nie ogranicza się on do aplikacji terminalowych, będziemy go używać także w przeglądarkach i innych funkcjach. Ponieważ narzędzie to jest odpowiedzialne za organizację domyślnych funkcji w Ubuntu lub Debianie.

Uruchom podane polecenie, aby zmienić i wybrać domyślny terminal Ubuntu lub Debian.

sudo update-alternatives --config x-terminal-emulator

Po uruchomieniu powyższego polecenia otrzymasz dziennik wszystkich obecnych emulatorów terminali z możliwością wyboru dowolnego z nich.

Na przykład:

Istnieje 7 decyzji dla wyboru x-terminal-emulator (oferującego /usr/bin/x-terminal-emulator). Wybór Ścieżka Pierwszeństwo Pozycja ------------------------------------------------------------ * 0 /usr/bin/terminator 50 tryb automatyczny 1 /usr/bin/alacritty 50 tryb przewodnika 2 /usr/bin/gnome-terminal.wrapper 40 tryb przewodnika 3 /usr/bin/koi8rxterm 20 tryb przewodnika 4 /usr/bin/lxterm 30 tryb przewodnika 5 /usr/bin/terminator 50 tryb przewodnika 6 /usr/bin/uxterm 20 tryb przewodnika 7 /usr/bin/xterm 20 tryb przewodnika Naciśnij, aby zachować obecny wybór[*] lub wprowadź ilość wyboru: 

Co powinieneś zrobić to najpierw odkryć różnorodność „ Wybór ”z terminal który chcesz ustawić jako standard . Potem, typ -o i naciśnij klawisz Wchodzić . I jesteś spełniony. Na przykład Aby zdefiniować Alacritty, wpisujemy – 1 a następnie wciskamy klawisz Enter. W ten sam sposób skorzystaj z możliwości wyboru udostępnionych w Alacritty w systemie Ubuntu 20.04 lub 22.04.

Zbadaj Alacritty, aby dowiedzieć się, dlaczego domyślny terminal lub nie

Po wykonaniu powyższych kroków należy sprawdzić, czy domyślny terminal został zmodyfikowany i ustawiony na nowy, czy nie. Aby to zrobić, uruchom podobne polecenie podano powyżej jeszcze raz ale tym razem zauważysz Asterik (*)   przy wejściu do Terminala mogłeś dokonać wyboru. Świadczy to o tym, że modyfikacje przeprowadzane są efektywnie.    Podobnie zmienimy i ustawimy dowolny terminal w Ubuntu 20.04 lub 22.04 jako domyślny, korzystając z narzędzia update-alternatives. Jeśli masz z tym problem, część dotycząca obserwacji jest Twoja...