Eu tenho arquivos de configuração que uso para tornar minha PS1 mais interessante. O design depende da presença de uma fonte específica. Se a fonte não estiver presente, o PS1 parece feio.
Eu compartilho o acesso a uma conta do ssh para webmasters com outros webmasters. Eu faço a maioria do trabalho no site, então eu gostaria de ter o meu ambiente preferido. Por outro lado, não quero sobrecarregar os outros webmasters com um prompt desagradável ou um requisito de fonte quando eles estiverem conectados.
Eu gostaria de poder definir alguma variável quando eu lanço meu emulador de terminal, então quando eu configuro o PS1 no meu .zshrc, eu posso verificar a presença dessa variável. Se estiver lá, posso ter certeza de que a fonte necessária está instalada e mostrar a fantasia do PS1 que eu prefiro ver. Se não, posso mostrar uma mais simples para meus co-webmasters.
A melhor solução que tenho até agora é uma pequena função que pode me dizer qual emulador de terminal eu estou usando:
function term_emu() {
echo 'basename "/"$(ps -f -p $(cat /proc/$(echo $$)/stat | cut -d \ -f 4) | tail -1 | sed 's/^.* //')'
}
No entanto, é possível que outros webmasters usem o mintty, mas não tenham a fonte instalada. Portanto, essa solução não é ótima.
Alguma outra ideia?