Terminator (Polski)

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-git
AUR
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
This article or section needs language, wiki syntax or style improvements. See
Help:Style
for reference.
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 p
o
ziomie
Ctrl+Shift+e
Dzieli terminal w pioni
e
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
Terminator
- Oficjalna strona
https://github.com/gnome-terminator/terminator
- GitHub