Windowsを利用している際に、Hugging Faceに公開しているSpaceがRuntime Errorを起こしていることに気づいたため、修正を行おうとしたが、 今までWindowsからHugging Faceにgit pushしたことはなく、Githubでも廃止されたユーザー名/パスワードによる接続がHugging Faceでも禁止されていたため、ssh接続の設定を行った。 その際に、ssh-addを行うとError connecting to agent: No such file or directoryと言われた。

SSHキーの生成と登録

次のコマンドで生成した際に、名前を付けた場合は、適宜id_ed25519の部分をその名前に変更する。

ssh-keygen -t ed25519 -C "your.email@example.co"

ssh-add ~/.ssh/id_ed25519

Error connecting to agent: No such file or directoryというエラーが出た場合

ssh-agentを無効になっている可能性がある。

現在の状態を確認するにはPowerShellで次のコマンドを実行する。上手く実行できない場合は、管理者権限でPowerShellを開く。

Get-Service | select -property name,starttype

次のコマンドでスタートアップタイプをManualに変更して、ssh-agentを起動する。

Set-Service -Name ssh-agent -StartupType Manual
Start-Service ssh-agent

これでssh-addが実行できるようになる。

公開鍵の登録

次のコマンドでクリップボードにコピーできる。

type ~/.ssh/id_ed25519.pub | clip

設定のAdd a SSH keyに張り付けて登録する。

接続の確認

Hugging Faceに挨拶してもらえたら成功。

ssh -T git@hf.co

余談：SSH接続で困っている人は案外多いのかもしれない

私がGithubをまともに利用するようになったばかりの頃に、他の人へ教えるためにMacOSからGithubにED25519でSSH接続する方法をまとめたGistが謎の人気を得ている。

今年に入ってからも引用されているので、この辺りの初学者向けの情報は需要があるのかもしれない。

https://gist.github.com/hrdtbs/ba50868d7d608b89f958fe32dc35fdd4