Aby ustawić domyślny emulator terminala w środowisku GNOME, należy wykonać kilka kroków, które pozwolą systemowi rozpoznawać wybrany program jako domyślny terminal – zarówno dla skrótów klawiaturowych, jak i integracji z innymi aplikacjami. Poniższy poradnik przedstawia pełną procedurę z wyjaśnieniami.
Co to jest emulator terminala?
Emulator terminala to aplikacja uruchamiana w graficznym środowisku, która pozwala korzystać z powłoki (np. Bash, Zsh), czyli wydawać polecenia tak jak w trybie tekstowym.
Najpopularniejsze emulatory terminali w GNOME
- gnome-terminal – domyślny, zaawansowane opcje konfiguracyjne.
- Tilix – terminal kafelkowy, podział okna na wiele paneli.
- Terminator – obsługa układów (layouts), przeciągania okien, wiele paneli.
- xterm – bardzo lekki, minimalistyczny.
Krok 1. Instalacja preferowanego emulatora terminala
Jeśli chcesz korzystać z innego terminala, np. Tilix, Terminator, należy go wcześniej zainstalować. Przykład dla Ubuntu/Debiana:
sudo apt update sudo apt install terminator
W systemach opartych na RPM (np. Fedora):
sudo dnf install terminator
Po instalacji zweryfikuj, czy aplikacja jest dostępna poprzez menu programów.
Krok 2. Sprawdzenie aktualnie ustawionego domyślnego terminala
GNOME używa mechanizmu update-alternatives (Debian/Ubuntu) lub własnych konfiguracji środowiska dla mapowania domyślnego terminala.
Sprawdź, jaki terminal jest domyślny obecnie:
x-terminal-emulator
Jeśli uruchomi się Twój preferowany terminal – jest on już ustawiony domyślnie.
Krok 3. Ustawienie domyślnego emulatora terminala przez update-alternatives (Debian/Ubuntu)
W Ubuntu oraz innych dystrybucjach korzystających z mechanizmu alternatyw:
- Otwórz obecny terminal.
- Wpisz polecenie:
sudo update-alternatives --config x-terminal-emulator
- Zobaczysz listę dostępnych emulatorów terminala wraz z numerami. Wybierz numer odpowiadający preferowanemu emulatorowi i zatwierdź Enterem.
Przykładowe wyjście:
There are 3 choices for the alternative x-terminal-emulator (providing /usr/bin/x-terminal-emulator). Selection Path Priority Status ------------------------------------------------------------ * 0 /usr/bin/gnome-terminal 40 auto mode 1 /usr/bin/gnome-terminal 40 manual mode 2 /usr/bin/terminator 30 manual mode Press enter to keep the current choice[*], or type selection number: 2
Po wyborze, każda aplikacja czy skrót wywołujący systemowy terminal będzie otwierał wskazany program.
Krok 4. Integracja terminala z GNOME (dla skrótów i aplikacji)
Często skrót Ctrl+Alt+T
uruchamia domyślny terminal. Aby zmienić program przypisany do tego skrótu:
- Otwórz Ustawienia GNOME.
- Przejdź do sekcji Klawiatura.
- Znajdź lub dodaj skrót uruchamiający terminal, podając pełną ścieżkę do wybranego emulatora (np.
/usr/bin/terminator
).
Krok 5. (Opcjonalny) – Konfiguracja plików .desktop
Jeśli chcesz zintegrować terminal głębiej ze środowiskiem GNOME (np. by działał z menu kontekstowym), sprawdź pliki *.desktop
w /usr/share/applications/
lub ~/.local/share/applications/
.
Możesz edytować plik .desktop
preferowanego terminala, aby w pole Exec=
wpisać odpowiednią komendę uruchamiającą oraz dostosować nazwę i inne opcje.
Krok 6. (Opcjonalny) – Tworzenie profili i własnych layoutów (np. w Terminatorze)
Niektóre emulatory terminali (np. Terminator, Tilix) umożliwiają bardziej zaawansowane zarządzanie konfiguracją i układami (layouts). Layout można zdefiniować w pliku konfiguracyjnym ($HOME/.config/terminator/config
) oraz wywoływać program z parametrem --layout NAZWA
.
Najczęstsze problemy i rozwiązania
- Jeśli zmiana nie działa – sprawdź, czy dystrybucja implementuje mechanizm update-alternatives. W niektórych systemach (np. Fedora, Arch) domyślny terminal można ustawić jedynie przez zmianę skrótu klawiaturowego.
- Jeśli terminal nie pojawia się w menu: zweryfikuj instalację, sprawdź uprawnienia plików.
Podsumowanie
- Najwygodniej ustawić domyślny emulator terminala przez komendę
update-alternatives --config x-terminal-emulator
(Debian/Ubuntu). - W innych systemach należy skonfigurować skróty klawiaturowe w ustawieniach GNOME lub zmienić pliki
.desktop
. - Zaawansowani użytkownicy mogą personalizować terminale przez pliki konfiguracyjne oraz integrację z własnymi układami.
Zmiana domyślnego terminala w GNOME pozwala dostosować środowisko do własnych preferencji oraz usprawnia pracę w systemie Linux.