Posso executar um script de shell com diferentes preferências de perfil do Terminal?

Posso executar um script de shell com diferentes preferências de perfil do Terminal?

Para uso geral do terminal, uso um tema transparente. Mas, para alguma finalidade, tenho um script de shell que gostaria de executar com perfil/tema diferente (quero dizer, com diferentes cores e opacidade de primeiro e segundo plano).

Posso fazer qualquer coisa (talvez como adicionar algum código ao meu script de shell), para poder iniciar o script de shell com um perfil diferente.

PS: Estou no Ubuntu 15.04 e usando o bash, se isso faz alguma diferença.

Responder1

Não modificando seu script, não. O script não tem conhecimento do terminal, o terminal é apenas uma janela gráfica que executa um shell. No entanto, supondo que você esteja usando gnome-terminal, você pode escolher o perfil na linha de comando:

gnome-terminal --window-with-profile=PROFILENAME

Portanto, se o nome do seu perfil for foo, você poderá escrever um script wrapper ( script1.sh) que execute seu script ( script2.sh) em uma janela com esse perfil:

#!/usr/bin/env bash
gnome-terminal --window-with-profile=foo -x script2.sh

Agora, se você executar script1, ele abrirá um novo terminal com o perfil correto e será executado script2nele.

informação relacionada