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-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
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.
Zobacz także
- Terminator - Oficjalna strona
- https://github.com/gnome-terminator/terminator - GitHub