githubのPush

Question

お世話になってます。
今、Githubでpushして更新したいのですができません。
Proxy環境であるため、プロキシ設定への対策等も
しているとは思うのですが、上手く行きません。
ご存知の方居られましたら、ご教示下さい。

・cat ~/.gitconfig

[https]
        proxy = http://aaaaaaaaaaaa/bbbbbb:80
[http]
        proxy = http://aaaaaaaaaaaa/bbbbbb:80

・git config -l

https.proxy=http://aaaaaaaaaaaa/bbbbbb:80
http.proxy=http://aaaaaaaaaaaa/bbbbbb:80
core.repositoryformatversion=0
core.filemode=false
core.bare=false
core.logallrefupdates=true
remote.origin.url=https://github.com/[username]/[repository].git
remote.origin.fetch=+refs/heads/*:refs/remotes/origin/*

・エラー内容

git push -u origin master
fatal: unable to access 'https://github.com/[username]/[repository].git/': 
Could not resolve proxy: aaaaaaaaaaaa/bbbbbb

その他、commit(git logで確認済み)
及び git remote add https://github.com/[username]/[repository]
は完了しています。

Answer 1

通常、PROXY サーバーは、http://ホスト名:ポート のように ホスト名とポートだけなのですが、http://aaaaaaaaaaaa/bbbbbb:80 のように ディレクトリかファイルが付いているのがよくわかりませんので、もう少しプロキシの情報を記載して欲しいところですが...

http://aaaaaaaaaaaa:80 のようにホスト名だけではダメなプロキシなのでしょうか？

もしかすると　プロキシの情報が公開されていなくて、「プロキシ自動設定」の URL ( http://ホスト名/xxx.pac )だけしかわからない環境だったりしますか？
プロキシの設定として、「プロキシ自動設定の URL」を設定していたりしますか？
(プロキシ自動設定ファイルについては、プロキシ自動設定 - Wikipedia を参照してください)

Comments

[Nitta]

お世話になってます。返信ありがとうございます。
プロキシurlは以下になります。
http://wpad.[comapnyname].co.jp/wpad.dat
です。
http://aaaaaaaaaaaa:80タイプではないです。
また、windows:コントロールパネル>インターネットオプション>接続>LANの設定>
自動構成スクリプトを使用するのURLのみです。
JSベースの関数は見えません。すいません。

[CHERRY]

あー。 Web Proxy Auto-Discovery Protocol ( https://ja.wikipedia.org/wiki/Web_Proxy_Auto-Discovery_Protocol ) の方でしたか...

[CHERRY]

Webブラウザか何かで、http://wpad.[comapnyname].co.jp/wpad.dat にアクセスして、wpad.dat ファイルの中身を確認できるでしょうか？　

ファイルの中身は、PAC ファイルと同様な PROXY 判定のスクリプトになっていると思いますので、` return "PROXY ホスト名 or IPアドレス : ポート"; ` の部分を探して、そのホスト名とポートを設定する必要があります

[Nitta]

お世話になってます。返信ありがとうございます。
wpad.datのﾌｧｲﾙは取得できました。
grep returnで絞り込んで、複数出てきました。
以下戻り値の文字列です。
①proxy_idc_webex
②proxy_idc
③proxy_LMS
④proxy_AP
などありますが、①あたりでしょうか？

[CHERRY]

詳細は見ないと判断できないので...どれと断言はできないのですが、
分岐条件を見て「社外向け」かどれにも一致しなかった場合の「デフォルト」の場合の PROXY を使ってみてください。

[Nitta]

何とか、proxyをデフォルトに切り替えていくことで対応でき、
push及びfetchなどができました。
少しプロキシに苦しめられました。
詳細なアドバイス有難う御座いました。
今後共よろしくお願いします。
もうちょい、プロキシについて知る必要がありそうです。