我的问题很愚蠢,但在互联网上找不到任何解释我如何做的内容。问题是我希望在终端中显示的名称为:Server mpi@raspberry: ... $
但找不到如何将“名称”服务器添加到用户(我正在调用该名称,但可能不正确)。相反,我的终端显示mpi@raspberry: ... $
答案1
进一步解释kodcode的答案:
为了添加别名,我们必须输入每个用户并写入sudo gedit ~/.bashrc
,然后我们会看到这个文件上写了很多东西,但要更改的重要行是:
if [ "$color_prompt" = yes ]; then
PS1='\[\033[1;33m\]Alias ${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w \$\[\033[00m\] '
else
PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '
fi
将 Alias 替换为所需的别名,并将代码复制到原始文件中从 if 开头到 fi 的替换文件中。这将有助于了解我们正在连接到哪个设备。