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

2

Para o uso geral do terminal, uso um tema transparente. Mas para alguma finalidade, eu tenho um script de shell que gostaria de executar com perfil / tema diferente (ou seja, com cores e opacidade diferentes no primeiro plano e no plano de fundo).

Posso fazer qualquer coisa (Talvez como adicionar algum código ao meu shell script), para que eu possa iniciar o shell script com um perfil diferente.

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

    
por kashish 07.10.2015 / 12:38

1 resposta

3

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

Assim, se o nome do seu perfil for foo , você poderia escrever um script de wrapper ( script1.sh ) que executa 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 executará script2 nele.

    
por terdon 07.10.2015 / 13:02
yii\base\ErrorException
Copied! Copy Stacktrace Search Stackoverflow Search Google Error

PHP Core Warning – yii\base\ErrorException

PHP Startup: Unable to load dynamic library 'memcached.so' (tried: /usr/lib/php/20190902/memcached.so (/usr/lib/php/20190902/memcached.so: undefined symbol: igbinary_serialize), /usr/lib/php/20190902/memcached.so.so (/usr/lib/php/20190902/memcached.so.so: cannot open shared object file: No such file or directory))

$_GET = [
    'id' => '67074',
    'url' => 'can-i-run-a-shell-script-with-different-profile-preferances-of-terminal',
];

$_SESSION = [
    '__flash' => [],
];