我有一台Windows服务器，我在其上创建了一个本地devops帐户。为简单起见，假设此服务器主机名为WINDEVSRV。当我启动Git Bash时，MINGW32说我的用户名字面上是WINDEVSRV+devops。我的完整提示如下：
WINDEVSRV+devops@WINDEVSRV MINGW32 ~
$ pwd
/c/Users/devops
我已经设置了MINGW32附带的sshd，但为了进入ssh，我必须以WINDEVSRV+devops的形式输入。我想删除主机名，因为我必须为其他服务器设置它，我不想硬编码主机名。但是，我不知道MINGW32如何生成用户名或如何更改它。
明确地说，我的最终目标是能够运行ssh devops@WINDEVSRV而不是ssh WINDEVSRV+devops@WINDEVSRV。我真的不关心$PS1的样子。