Le schede di Gnome Terminal sono brutte e di grandi dimensioni

24

Sia il terminale gnome che il terminatore (che sto usando sul mio laptop in questi giorni) possono essere personalizzati per apparire molto belli. Utilizzando lo schermo intero e riducendo al minimo l'ingombro del desktop è possibile ottenere un'area di buone dimensioni in cui lavorare, anche sul mio piccolo EeePC.

Tuttavia, c'è un elemento che non riesco a controllare. Le schede di Gnome sono enormemente troppo grandi e brutte. Non si adattano affatto al tema che sembra sciocco, ma per me il problema più grande è lo schermo immobiliare che viene sprecato. Su uno schermo di un piccolo laptop, in particolare, è un vero problema.

C'è un modo per cambiare queste schede? Mi rendo conto che è possibile metterli sul lato della finestra, ma poi occupano ancora più spazio!

Se ciò non è possibile con la configurazione di temi o gnome, ci sono programmi terminali come terminator che possono gestire le schede da soli? (Idealmente in un modo più elegante!)

testo alternativo

command-line gnome-terminal terminator

— adamnfish
fonte

2

In realtà, le schede si adattano perfettamente al tema Gtk che usi, perché è il tema che le dipinge in quel modo. Tuttavia, è possibile sovrascrivere un tema per 1 applicazione (vedere i manuali / come fare per i temi di Gtk per come farlo). La mia ipotesi è che i pulsanti di chiusura rendono le schede piuttosto alte.

— JanC

Il problema è ben descritto qui old.nabble.com/…

— Aleksandr Levchuk

adamnfish, +1 per la domanda, ma suggerisco di deselezionare il suggerimento su schermo come risposta corretta. Lo schermo GNU oscilla ma ciò non significa che le schede del Terminale dovrebbero essere brutte

— Aleksandr Levchuk

-1

Prova screen.

Creare diverse "schede" con Ctrl-a ce passare da una all'altra con Ctrl-a Ctrl-a(per passare alla finestra visualizzata in precedenza) o direttamente con Ctrl-a <number of tab>(per passare alla finestra numero "numero di scheda").

Ctrl-a " presenta un elenco di tutte le finestre per la selezione.

Per ulteriori informazioni, dai un'occhiata a man screen.

— burlone
fonte

2

O addirittura byobu, che è proprio come lo schermo, ma presentato in Technicolor® ;-)

— Stefano Palazzo

Sì, sono consapevole che potrei usare lo schermo, ma in genere sto usando Emacs e preferirei non perdere Ctrl + A, per esempio. Potrei finire per seguire questa strada personalizzando lo schermo, ma è bello avere i controlli delle schede coerenti con il resto del sistema operativo, quindi se c'è un modo per ridurre il riempimento sulle schede degli gnomi lo preferirei!

— Adamnfish,

1

@adamnfish: è possibile configurare il collegamento al prefisso dello schermo su qualcos'altro.

— JanC

5

-1 A volte ho bisogno di usare lo schermo, a volte ho bisogno di usare le schede. Vorrei che entrambi fossero belli.

— Aleksandr Levchuk,

3

Mi consiglia tmuxsu screen: migliore (IMO) di Windows ( 'tab') e 'lastre' (verticale e orizzontale la divisione dello schermo (corro. emacsAll'interno di una tmuxsessione di esclusiva).

— jon

6

Come sottolineato da JanC, terminatorutilizza il tema gtk predefinito sul tuo sistema. È vero che il problema può essere risolto inserendo il close_button_on_tab = Falsetuo ~ / .config / terminator / config Inoltre, potresti cambiare il tema gtk. Oppure, potresti definire un'impostazione gtk speciale per terminator. Per fare ciò, aggiungi le seguenti righe al tuo gtkrcfile:

style "notebook" = "default"
{
    xthickness = 0
    ythickness = 0
}

widget_class "terminator*.GtkNotebook"       style "notebook"
class "terminator*.GtkNotebook"              style "notebook"

Nota che stai modificando il widget Gtk standard chiamato "GtkNotebook". Questo è responsabile delle schede. Se vuoi che funzioni in ogni applicazione (non solo in terminazione), usa invece:

widget_class "*GtkNotebook"       style "notebook"
class "*GtkNotebook"              style "notebook"

Ciò influenzerà quindi tutte le applicazioni. Per modificare il colore del testo nella scheda, utilizzare:

style "notebook_maybelabel" = "default"
{ 
   fg[NORMAL]        = "#0000AA"
   text[NORMAL]        = "#0000AA"
}

widget_class "terminator*.GtkNotebook*"       style "notebook_maybelabel"
class "terminator*.GtkNotebook*"              style "notebook_maybelabel"

Non sono un esperto di Gtk e questo consiglio può contenere errori.

— user20645
fonte

3

controlla urxvt. Uno dei motivi principali per cui mi sono trasferito è stato il modo fantastico di gestire le schede.

Aggiungi questo al tuo .Xdefaults

 URxvt.perl-ext-common:  default,tabbed,matcher

— pagliaio
fonte

3

È possibile tramite il file di configurazione CSS GTK. Crea ~/.config/gtk-3.0/gtk.cssquindi potrai aggiungere alcuni selettori CSS e i relativi attributi. Ci sono alcuni buoni esempi: rimuovi il bazel grasso brutto dal terminale gnomo con più schede

— raggio
fonte