Terminator (Polski)

From ArchWiki

Terminator jest emulatorem terminalu który wspiera zakładki oraz wiele rozszerzalnych paneli terminalowych w jednym oknie. Terminator jest oparty na Terminalu GNOME.

Instalacja

terminator jest dostępny w oficjalnych repozytoriach. Zainstaluj terminator-gitAUR dla najnowszej wersji (trunk).

Konfiguracja

Przejrzyj stronę dokumentacji lub kliknij prawym przyciskiem myszy > Preferencje.

man terminator_config

Dokładne konfiguracje mogą zostać znalezione w pliku ~/.config/terminator/config.

Dostosowywanie GTK

Tango-edit-clear.pngThis article or section needs language, wiki syntax or style improvements. See Help:Style for reference.Tango-edit-clear.png

Reason: please use the first argument of the template to provide a brief explanation. (Discuss in Talk:Terminator (Polski))

Terminator wspiera zakładki. Wysokość nazwy zakładki czasami jest zbyt duża. Można to naprawić za pośrednictwem stylizacji GTK. Od wersji 1.9, Terminator używa GTK 3, więc konfiguracja może być sporządzona w ~/.config/gtk-3.0/gtk.css. Elementy do stylizacji to: 'notebook tab', 'notebook tab button'. (Zwróć uwagę, że zmiana stylu tych elementów dotknie wszystkich aplikacji korzystających z gtk3).

Przykładowa konfiguracja:

~/.config/gtk-3.0/gtk.css
notebook tab {
  min-height: 0;
  padding: 2px;
}

notebook tab button {
  min-height: 0;
  min-width: 0;
  padding: 1px;
  margin: 1px;
}

Kluczowe komendy

F11 Przełącza widok pełnoekranowy

Ctrl+Shift+o Dzieli terminal w poziomie

Ctrl+Shift+e Dzieli terminal w pionie

Ctrl+Shift+w Zamyka aktualny panel

Ctrl+Shift+t Otwiera nową zakładkę

Alt+Up Przesuwa do terminalu nad aktualnym

Alt+Down Przesuwa do terminalu pod aktualnym

Alt+Left Przesuwa do teminalu po lewej od aktualnego

Alt+Right Przesuwa do terminalu po prawej od aktualnego

Zarządzanie profilami

Istnieje możliwość uruchamiania Terminatora z losowym profilem za każdym razem. Aby uniknąć nieoczekiwanych zachowań, powinieneś zacząć z czystą sekcją [profiles]. Możesz ją skopiować z tego pliku. Zawiera on wiele znanych schematów kolorów. Skopiuj jego zawartość do twojego pliku config, który zlokalizowany jest w katalogu ~/.config/terminator/. Następnie, użyj komendy cat, aby przenieść listę profili do miejsca docelowego, które wybierzesz.

cat $HOME/.config/terminator/config | grep -B 1 'background_color' | grep '\]\]' | tr -d '[]' > $HOME/.config/terminator/profiles

Kiedy dodasz więcej profili w przyszłości i chciałbyś je uwzględnić w twoim zakresie profili przy rozruchu, będziesz musiał wykonać ponownie powyższą komendę. W celu ułatwienia tego procesu możesz utworzyć alias.

Teraz musisz zmodyfikować skrót pulpitu Terminatora, aby wybierał losowy profil z listy przy starcie.

sudoedit /usr/share/applications/terminator.desktop

Znajdż linię z Exec i zakomentuj ją z wykorzystaniem znaku #. Dodaj swoją własną linię zaczynającą się z Exec jak poniżej.

# Exec=terminator
Exec=sh -c "terminator -p $( shuf -n 1 $HOME/.config/terminator/profiles )"

Zapisz plik i uruchom ponownie swoje środowisko pulpitu.

Tip: Przejdź do preferencji terminatora, a pod zakładką "skróty klawiszowe" zauważ jak przejść do kolejnego profilu za pośrednictwem klawiatury. W ten sposób, jeżeli terminator nie uruchomi się z profilem, który lubisz, możesz szybko go zmienić.

Zobacz także