Tanto o terminal gnome quanto o terminator (que estou usando no meu laptop atualmente) podem ser personalizados para ficarem muito bonitos. Usando a tela cheia e mantendo a desordem da área de trabalho no mínimo, é possível obter uma área de bom tamanho para trabalhar, mesmo no meu pequeno EeePC.
No entanto, há um elemento que parece não conseguir controlar. As guias do Gnome são maciçamente superdimensionadas e feias na melhor das hipóteses. Eles não se encaixam no tema em tudo o que parece bobo, mas para mim o maior problema é o espaço da tela que é desperdiçado. Em uma pequena tela de laptop em particular, é um problema real.
Existe uma maneira de alterar essas guias? Eu percebo que é possível colocá-los ao lado da janela, mas eles ocupam um espaço ainda maior !
Se isso não for possível com a configuração de temas ou gnomos, existem programas de terminal como o terminador que pode manipular as guias por si? (Idealmente de uma forma mais elegante!)
Experimente screen .
Crie diferentes "guias" com Ctrl-a c e alterne entre elas com Ctrl-a Ctrl-a (para alternar para a janela exibida anteriormente) ou diretamente com Ctrl-a <number of tab> (para alternar para o número da janela "número da guia").
Ctrl-a " apresenta uma lista de todas as janelas para seleção.
Para mais informações, consulte man screen .
Como apontado por JanC, terminator usa o tema gtk padrão em seu sistema. É verdade que o problema pode ser resolvido colocando close_button_on_tab = False no seu ~ / .config / terminator / config
Além disso, você pode alterar o tema gtk. Ou você pode definir uma configuração especial de gtk especialmente para terminator . Para fazer isso, adicione as seguintes linhas ao seu arquivo gtkrc :
style "notebook" = "default"
{
xthickness = 0
ythickness = 0
}
widget_class "terminator*.GtkNotebook" style "notebook"
class "terminator*.GtkNotebook" style "notebook"
Observe que você está modificando o widget Gtk padrão chamado "GtkNotebook". Isso é o que é responsável pelas guias. Se você quer que isso funcione em todas as aplicações (não apenas no terminador), então use:
widget_class "*GtkNotebook" style "notebook"
class "*GtkNotebook" style "notebook"
Isso afetará todos os aplicativos. Para alterar a cor do texto na guia, use:
style "notebook_maybelabel" = "default"
{
fg[NORMAL] = "#0000AA"
text[NORMAL] = "#0000AA"
}
widget_class "terminator*.GtkNotebook*" style "notebook_maybelabel"
class "terminator*.GtkNotebook*" style "notebook_maybelabel"
Não sou especialista em Gtk e este aviso pode conter erros.
confira o urxvt. Uma das principais razões pelas quais me mudei para ele foi a ótima maneira de lidar com as guias.
Adicione isto ao seu .Xdefaults
URxvt.perl-ext-common: default,tabbed,matcher
É possível através do arquivo de configuração CSS do GTK. Crie o ~/.config/gtk-3.0/gtk.css e você poderá adicionar um seletor de CSS e seus atributos. Existem alguns bons exemplos: Remova o feio gordo feio do gnome -terminal com várias abas