我试着用Git Bash的命令leanproject get mathematics_in_lean安装一些东西,但是我得到的提示是Please provide password for encrypted SSH private key:我不记得做过这个的SSH-key (尽管这并不意味着我从来没有做过),并且密码不是我的GitHub用户的密码。我已经通知了一个精益平台,他们告诉我这更像是Git的事情,而不是精益的事情。有谁知道如何找回密码或类似的东西吗?
假设我试图通过SSH连接到远程计算机:
$ ssh user@example.com
The authenticity of host 'example.com ()' can't be established.
ECDSA key fingerprint is .
Are you sure you want to continue connecting (yes/no/[fingerprint])?
我验证显示的指纹确实是正确的,我想继续连接。如果我在提示符下输入是,我将继续连接,但是SSH会将指纹添加到~/.ssh/known_hosts。我不希望SSH自动将指纹添
macbookair@Furqans-MacBook-2021 ~ % ssh -T furqanistic@github.com
/etc/ssh/sshd_config.d/100-macos.conf: line 2: Bad configuration option: usepam
/etc/ssh/sshd_config.d/100-macos.conf: line 3: Bad configuration option: acceptenv
/etc/ssh/sshd_config.d/100-macos.conf: line 4: Bad configuration optio