.sshのconfigのパスを変更する

概要

• .ssh（.ssh/config）のパスは$HOME/.sshに固定されていて変更できないので、
• $HOMEのパスを変更する

方法 1

• Gitのインストール先に合わせて、C:\Program Files\Git\etc\profile を開き、
• HOME=/c/Users/$USERNAME/Documents のように記述を追加する
• すると、c:\Users\%USERNAME%\Documents \.ssh\config がGitのSSHの設定パスになる

方法 2

• Windowsの環境変数で、 HOME を c:\Users\%USERNAME%\Documentsにする
• すると、c:\Users\%USERNAME%\Documents \.ssh\config がGitのSSHの設定パスになる
• （Windowsの環境変数はコントロールパネルなどから設定する）
• ただし、この方法を使うと、%HOME%を参照するGit以外のアプリケーションにも影響が出る

参考

https://stackoverflow.com/questions/32232978/change-the-location-of-the-directory-in-a-windows-install-of-git-bash