［请教］如何实现上网代理服务器的快捷切换？从何处下手？哪些配置文件需要考虑？

sk1418

我的笔记本UBUNTU 804要在不同地方使用，公司，客户，其他地方等等。这些地方的网络都需要代理才能上网。所以就不停地通过系统带的 preference->Network Proxy这个设置工具来更换代理设置，用户密码。很麻烦。我想找个快速省事的代理切换方法。于是我发现在home/.gconf/system 里http_proxy, proxy, network 目录保存有代理相关的信息，我就写了个脚本，把不同的代理设置COPY出来，然后每次运行脚本，拷贝相关的文件覆盖HOME里的文件。可是好像这样还不行。所以来求教一下，GNOME的代理配置到底在哪呢？

另外，我还试了另一种方法，修改了 ~/.bashrc 加入了export http_proxy=... 想如果这个管用，我写个脚本替换这个文件，再重新登录也行阿。

重新登录后，echo $http_proxy可以看到代理信息。

后来进到GNOME里，把GNOME NETWORK PROXY里代理取消。然后所有图形界面的软件(e.g. firefox)都不能上网了。可在命令行里用wget是可以连接代理并访问网络。另外如果用gnome terminal，也可以上网。我有点不明白，按说那个环境变量应该比GNOME设置级别高吧？谁给解释解释，谢谢了。

如果想在GNOME里方便切换代理，（不光是浏览器）到底该研究替换哪几个配置文件呢？

现在我一天得换2，3次代理，随机密码拷贝粘贴的都快背下来了。 ((

问题问的可能有点杂乱，希望有空看到帖子的人给说两句，谢谢了。