[小技巧] 如何在ubuntu 12.04里使用代理时忽略某些hosts

在以前的ubuntu版本里可以在GUI里简单的设定。

但是在ubuntu 12.04里之前的GUI就没了，无语。

在网上找了一下，可以通过以下方式来解决：

$ dconf-editor

在ignore-hosts里追加对应的ip即可。

或执行：gconf-editor /system/http_proxy/ignore_hosts 即可。

参考：

http://askubuntu.com/questions/68089/where-to-set-proxy-ignore-list