是否可以在 zsh 或 bash 中更改 echo 输出的字体属性?
我想要的是类似于:
echo -n "This is the font: normal "
echo -n $font=italic "italic,"
echo -n $font=bold "bold,"
echo -n "and"
echo -n $font=small "small".
Run Code Online (Sandbox Code Playgroud)
以便在一行文本中打印:“这是字体:普通、斜体、粗体、小”。
我有一个我在终端时喜欢的配色方案,但我从多个来源(本地、PuTTY、我的上网本等)进入我工作的机器,我想在整个过程中保持相同的配色方案. 这可能吗?
我特别想在 PuTTY 中使用它;PuTTY 颜色很难改变。
我在我的.bashrc文件中看到这个:
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\
[\033[01;34m\]\w\[\033[00m\]\$ '
Run Code Online (Sandbox Code Playgroud)
我完全不知道所有这些转义代码是什么意思。