Chrome on Ubuntu通过代理上网经常打不开github.com的问题

很多在大公司上班的同学都需要设置代理才能上网。不知道有没有遇到过这样的问题：https://github.com很难打开，但其它网站却可以打开，比如https://www.baidu.com或者google。我用的浏览器是Chrome 56.0.2924.87，操作系统是Ubuntu 16.04。

按F12查看Chrome的网络日志，看不到任何错误码；github.com域名解析也没问题；用解析出来的IP抓包也抓不到。奇怪了吧。。。

后来从Chrome的日志文件中挖出一些关于OCSP超时的错误，再google一下，找到了答案：

AIA/CRLs/OCSP do not use proxy settings: On Linux, Chrome has always used the user proxy settings.

我的代理是通过插件设置的，设置在Chrome内部；没有给操作系统设置代理，而OCSP只认操作系统的代理，自然网络不通。
解决办法简单，就是给操作系统也设置代理（在Dashboard中敲Proxy，能搜到一个叫Network的应用程序，在这个程序中设置代理）。