メモ：GitHub Desktop にプロキシを設定する

はじめに

GitHub Desktop でリポジトリを clone すると速度が数十KB/sしか出ず、30MB のプロジェクトに半日かかる勢いだった。
解決策を探したが、簡単だと思っていたのに想像以上に時間がかかった。

なので記録しておく。

まず GitHub Desktop の設定を探したが見つからない。
ネットで検索。最初は英語で探して、いくつか方法を見たが、http/https プロキシの設定ばかりだった：How Can I Configure GitHub Desktop/Windows to Work with a Proxy?
自分が欲しかったのは SOCKS5 プロキシ。少し違うが、とりあえず適当に設定してみた。でもダメだった。
さらに適当に http を socks に変えて入力：

git config —global socks.proxy socks://127.0.0.1:1080
git config —global socks.proxy socks5://127.0.0.1:1080
git config —global socks5.proxy socks://127.0.0.1:1080
git config —global socks5.proxy socks5://127.0.0.1:1080
どれもダメ。
実はすごく簡単なのに、自分が未熟すぎる…
そこで考え直した。海外の人は会社の社内ネットワークでプロキシが必要なだけで、自分たちとは事情が違う。中国語のチュートリアルを探すべきだった。
その通りで、中国語の記事が山ほど出てきた。
こんな記事を見つけた：X先生说：通过 SS 代理加快 GitHub Clone 速度
- 一番上の黒枠にあるのは http://127.0.0.1:1080
- これだけでよかった。技術力のなさを思い知らされた。

C:\\Users\\username\\.gitconfig を開いて、末尾に追記する。

1
[http]
2
  proxy = http://127.0.0.1:1080

これで GitHub Desktop がローカルプロキシを使うようになる。

08/18 更新
数日前にまた問題が出て、git:// が clone できなかった。半日ほど試して、今はこんな内容になっている。

1
[http]
2
  proxy = socks5://127.0.0.1:1080
3
[https]
4
  proxy = socks5://127.0.0.1:1080
5
[git]
6
  proxy = socks5://127.0.0.1:1080

（またしても、技術力のなさを思い知った）