Pip

研究同学的项目时，通过 pip 下载导入包出现错误。经过搜索发现是无法连接代理导致的问题，这里记录排查过程和具体的解决方法。