相关疑难解决方法(0)

在 echo 命令中更改字体

是否可以在 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)

以便在一行文本中打印:“这是字体:普通、斜体粗体”。

shell bash zsh fonts

21
推荐指数
3
解决办法
10万
查看次数

我可以将本地机器的终端颜色设置为使用我通过 ssh 连接的机器的颜色吗?

我有一个我在终端时喜欢的配色方案,但我从多个来源(本地、PuTTY、我的上网本等)进入我工作的机器,我想在整个过程中保持相同的配色方案. 这可能吗?

我特别想在 PuTTY 中使用它;PuTTY 颜色很难改变。

colors ssh terminal

7
推荐指数
1
解决办法
3054
查看次数

了解转义码

我在我的.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)

完全不知道所有这些转义代码是什么意思。

linux command-line bash escape-characters

3
推荐指数
1
解决办法
447
查看次数

标签 统计

bash ×2

colors ×1

command-line ×1

escape-characters ×1

fonts ×1

linux ×1

shell ×1

ssh ×1

terminal ×1

zsh ×1