Zarówno terminal gnome, jak i terminator (których obecnie używam na laptopie) można dostosować tak, aby wyglądały bardzo ładnie. Używając pełnego ekranu i ograniczając bałagan na pulpicie do minimum, można uzyskać spory obszar do pracy, nawet na moim małym EeePC.
Jest jednak jeden element, którego nie wydaje się być w stanie kontrolować. Zakładki Gnome'a są w dużym stopniu za duże i co najmniej brzydkie. W ogóle nie pasują do motywu, który wygląda głupio, ale dla mnie największym problemem są zmarnowane nieruchomości ekranowe. W szczególności na małym ekranie laptopa jest to prawdziwy problem.
Czy istnieje sposób na zmianę tych kart? Zdaję sobie sprawę, że można umieścić je z boku okna, ale wtedy zajmują jeszcze więcej miejsca!
Jeśli nie jest to możliwe w przypadku tworzenia motywów lub konfiguracji gnome, czy istnieją jakieś programy terminalowe, takie jak terminator, które same mogą obsługiwać zakładki? (Idealnie w bardziej elegancki sposób!)
źródło
Odpowiedzi:
Spróbować
screen
.Twórz różne „zakładki” za pomocą
Ctrl-a c
i przełączaj się między nimi za pomocąCtrl-a Ctrl-a
(aby przełączyć się do wyświetlanego wcześniej okna) lub bezpośrednio za pomocąCtrl-a <number of tab>
(aby przełączyć na numer okna „numer zakładki”).Ctrl-a "
przedstawia listę wszystkich okien do wyboru.Aby uzyskać więcej informacji, spójrz na
man screen
.źródło
byobu
, co jest jak ekran, ale przedstawione w Technicolor® ;-)tmux
nascreen
: lepsze (imo) Okna ( „tabs”) i „okienka” (pionowe i poziome dzielenie ekranu (biegnę.emacs
Wewnątrztmux
sesji wyłącznie).Jak zauważył JanC,
terminator
używa domyślnego motywu GTK w twoim systemie. Prawdą jest, że problem można rozwiązać, umieszczającclose_button_on_tab = False
~ / .config / terminator / config Można również zmienić motyw GTK. Lub możesz zdefiniować specjalne ustawienie GTK specjalnie dlaterminator
. Aby to zrobić, dodaj dogtkrc
pliku następujące wiersze :Zauważ, że modyfikujesz standardowy widget Gtk o nazwie „GtkNotebook”. To właśnie odpowiada za karty. Jeśli chcesz, aby działało to w każdej aplikacji (nie tylko w terminatorze), użyj zamiast tego:
Wpłynie to na wszystkie aplikacje. Aby zmienić kolor tekstu na karcie, użyj:
Nie jestem ekspertem od Gtk, a ta rada może zawierać błędy.
źródło
sprawdź urxvt. Jednym z głównych powodów, dla których się tam przeprowadziłem, był świetny sposób, w jaki obsługuje karty.
Dodaj to do swoich .Xdefaults
źródło
Jest to możliwe poprzez plik konfiguracyjny GTK CSS. Utwórz
~/.config/gtk-3.0/gtk.css
wtedy będziesz mógł dodać selektor CSS i jego atrybuty. Istnieje kilka dobrych przykładów: Usuń brzydki tłuszczowy bazel z gnome-terminal za pomocą wielu kartźródło