VPN接続 & Proxy配下にてGitが使えなかったのを解決したお話

tl;dr

やりたいこと

vpn & 認証付きのproxy配下からpush, cloneしたい

解決した

下記コマンド。http.proxy のあとにプロトコルを記載しない点がポイントです。

$ git config --global http.proxy user:[e-mail]:port
$ git config --global https.proxy user:[e-mail]:port

実行環境

Ubuntu 18.04 (Windows Subsystem for Linux)

$ git --version
git version 2.17.1

困っていた点

ググれば一発で見つかる、proxy環境でgitを使用したい場合に設定するコマンドですよね。

$ git config --global http.proxy http://user:[e-mail]:port
$ git config --global https.proxy http://user:[e-mail]:port

上記設定をしておけば、オフィス内だと通常にpush, clone出来ました。
しかし、vpn接続だとなぜかcloneやpushをしようとした際に、下記エラーが出て悩まされていました。

$ git clone https://github.com/fugafuga/piyopiyo.git
Cloning into 'piyopiyo'...
fatal: unable to access 'https://github.com/fugafuga/piyopiyo.git/': Received HTTP code 407 from proxy after CONNECT

これがなかなか不便で、せっかくリモートワークが許可されている職場なのにpushしたいが為に出社していました。（往復3時間）

解決 🎉🥳👏

下記コマンドのように、プロトコルを記載せずにproxy情報を登録しておけばvpnからでも接続できます。

$ git config --global http.proxy user:[e-mail]:port
$ git config --global https.proxy user:[e-mail]:port

尚、原因は判明していませんので、有識者の方、ぜひ原因を教えて下さいますと嬉しいです