【发布时间】:2015-01-24 02:30:27
【问题描述】:
我有一个类似下面的场景,我需要一个解决方案。
场景:
我每天都使用 Android Package Manager、nodeJS (npm)、Homebrew 等开发工具。我需要在家里和工作中使用它,但在工作中我在代理后面,所以我必须在每个工具上设置代理,例如
npm config set proxy http://proxy:10
但是当我在家工作时,我不需要它,因为代理没有提供世界上最快的带宽:) 我想说,它很慢,我不想浪费我的时间下载包的速度要慢 10 倍。
问题:
是否有任何解决方案可以在这些工具上拥有两个不同的配置文件?或者我每次更改我的位置(工作/家庭)时都需要编写一个 bash 脚本来更改这些代理设置?
如果可能,或者如果您对熟悉的场景有一些经验,请告诉我。
谢谢!
【问题讨论】: