Alterando a imagem de fundo em vários terminais

1

Eu queria saber se alguém saberia como alterar a imagem de fundo no terminal de uma maneira única.

Eu sei como mudá-lo para que cada instância do terminal tenha o mesmo background, mas ocasionalmente acabo usando 2 ou 3 terminais para trabalhar em caminhos diferentes.

Eu queria saber se há uma maneira de definir alguns como

  • Terminal 1: imagem 1
  • Terminal 2: imagem 2
  • Terminal 3: imagem 3
  • ...
  • Terminal N: N da imagem

EDITAR Eu estava esperando fazer isso desenvolvendo uma técnica que examinaria uma variedade de perfis, previamente definidos por mim, e cada vez que eu abrisse um terminal, passaria pelo próximo perfil até chegar ao fim e então seria reiniciado. Não tenho certeza qual seria a melhor abordagem para isso. Talvez uma adição a ~/.bash_aliases que defina os perfis e defina o terminal para alterar, dependendo da quantidade de vezes que um terminal foi aberto nessa sessão.

    
por Michael Sleevi 06.03.2015 / 21:20

1 resposta

2

Do que você precisa? xdotool ( sudo apt-get install xdotool ) e pares de perfis diferentes. Eu tenho 8 perfis diferentes no meu terminal gnome, todos com diferentes cores ou configurações de fundo. Certifique-se de ter a barra de menu (Arquivo, Editar, etc.) ativada. Caso contrário - não funcionará

O comando

xdotool key alt+f b $( expr $RANDOM % 8 )

Explicação : obtemos um número aleatório $ RANDOM como gerado pelo shell, obtemos seu módulo (restante) fora da divisão pelo número máximo de perfis que você tem e deixamos xdotool executar a sequência de atalhos de teclado que correspondem ao menu File (alt + f), selecionando open new tab (b) e selecionando o perfil com o número correspondente

Você pode transformar este comando em um alias ( alias newtab='xdotool key alt+f b $( expr $RANDOM % 8 )' ) ou script

Eu peguei esse mesmo alias e o coloquei no meu arquivo .mkshrc (porque eu uso mksh, não bash, então para você é .bashrc). Aqui está em ação

Atualizar|22deabrilde2015

Aquiestáumscriptparaabrirumajaneladeterminalcomoseuperfildesejado(eparacadaperfilvocêpodeespecificarsuasprópriascoreseimagemdefundo).Vinculá-loaumatalhodetecladoatravésdasconfiguraçõesdosistema->Teclado->Atalhos->Personalizadas.Paraocomando,incluaocaminhocompletoparaoscript

Oscript

#!/bin/bashPROFILE=$(zenity--entry--text="Enter Profile Name")
gnome-terminal --window-with-profile="$PROFILE" &
    
por Sergiy Kolodyazhnyy 11.04.2015 / 22:23