使用 mintty 设置 ZSH shell 变量?

使用 mintty 设置 ZSH shell 变量?

我有一些配置文件,用来让我的 PS1 变得更漂亮。设计取决于特定字体的存在。如果没有字体,PS1 看起来就会很难看。

我与其他网站管理员共享网站管理员 ssh 帐户的访问权限。我在网站上完成了大部分工作,因此我希望拥有自己喜欢的环境。另一方面,我不想让其他网站管理员在登录时因令人不快的提示或字体要求而增加负担。

我希望能够在启动终端模拟器时设置一些变量,因此当我在 .zshrc 中设置 PS1 时,我可以检查该变量是否存在。如果它在那里,我可以确信必要的字体已安装并显示我喜欢看到的精美 PS1。如果没有,我可以向我的合作网站管理员展示一个更简单的。

到目前为止,我拥有的最好的解决方案是一个小函数,它可以告诉我正在使用什么终端模拟器:

function term_emu() {
    echo `basename "/"$(ps -f -p $(cat /proc/$(echo $$)/stat | cut -d \  -f 4) | tail -1 | sed 's/^.* //')`
}

然而,其他网站管理员可能会使用 mintty 但没有安装该字体,所以这个解决方案并不是很好。

还有其他想法吗?

相关内容