Altere o tema Zsh no Android Studio

Question

Recentemente, embarquei para zsh e estou usando o tema Oh my Zsh! blinks . Parece muito bom no Terminal OSX, mas parece muito ruim no terminal do Android Studio.

Então, minha pergunta é se existe uma maneira de verificar se esta sessão foi aberta no Android Studio e não no Terminal OSX e alterar o tema zsh de acordo com isso?

    

Answer 1

Como ninguém mais lhe deu uma resposta, estou tentando, apesar de ter um software completamente diferente. Portanto, esta é uma resposta genérica sobre como fazer isso com qualquer software. Existem duas abordagens que vêm à mente:

1. Ambientes diferentes

Abra o Terminal e execute env > env.terminal . Abra o Android Studio e execute env > env.studio . Agora, em qualquer terminal, você pode executar diff -dby --suppress-common-lines env.terminal env.studio (se o Mac OS X diff tiver essas opções, se não o -U1 funcionar bem)

Como exemplo, aqui está a diferença entre xterm e konsole na minha caixa Linux (nota: espaçamento modificado para caber na página):

                                   > PROFILEHOME=
                                   > SHELL_SESSION_ID=1e8d5ab2d16641668485f991a1beffe3
                                   > QSG_RENDER_LOOP=
                                   > COLORTERM=truecolor
XTERM_SHELL=/bin/bash              <
                                   > KONSOLE_DBUS_SESSION=/Sessions/1
XTERM_VERSION=XTerm(327)           | KONSOLE_DBUS_WINDOW=/Windows/1
TERM=xterm                         <
                                   > TERM=xterm-256color
                                   > KONSOLE_DBUS_SERVICE=:1.1514
                                   > QMLSCENE_DEVICE=
                                   > KONSOLE_PROFILE_NAME=Default
                                   > COLORFGBG=15;0
WINDOWID=83886094                  | WINDOWID=115343366
XAUTHORITY=/tmp/xauth-1000-_0      | XAUTHORITY=/home/anthony/.Xauthority
KDED_STARTED_BY_KDEINIT=1          <
XTERM_LOCALE=en_US.UTF-8           <

Algumas dessas coisas são claramente o barulho de como eu lancei os dois terminais diferentes. Mas outros não são. Se eu quisesse algo apenas no XTerm, então if [ -n "$XTERM_VERSION" ] pareceria uma boa maneira de fazer isso. Da mesma forma, para o Konsole, $KONSOLE_PROFILE_NAME seria um bom (e provavelmente alguns dos outros também).

2. Processos pai diferentes

Um shell conhece seu próprio ID de processo, ele pode ser acessado via $$ . POSIX também tem $PPID para obter o PID pai diretamente, então eu suspeito que você tenha isso em zsh também. Se não, ps pode obtê-lo para você: ppid=$(ps -o ppid= $$) . Você pode então executar o comando, também com ps:

xterm:~$ ps -o args= $PPID
/usr/bin/xterm

konsole:~$ ps -o args= $PPID
/usr/bin/konsole

(Você também pode experimentar -o comm= ).

Em um script de shell, seria algo como:

ppid=$(ps -o ppid= $$)   # if you don't have PPID for some reason
if [ "$(ps -o args= $ppid)" = "/usr/bin/xterm" ]; then
  echo "do xterm stuff"
fi

Se você precisar ir mais longe na árvore de processos, poderá usar ps para obter o pai dos pais, etc.