--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/.bash_dconf2env Fri May 27 21:39:33 2011 +0900
+[[ `type -P dconf` ]] || return
+if [[ `dconf read /system/proxy/http/enabled` = "true" ]]; then
+ host=`dconf read /system/proxy/http/host`
+ port=`dconf read /system/proxy/http/port`
+ export http_proxy="http://${host}:${port}/"
+ export HTTP_PROXY="http://${host}:${port}/"
+ no_proxy=`dconf read /system/proxy/ignore-hosts | grep -Po "(?<=')[^']+(?=')" | tr -d ' \n'`
+ export no_proxy="${no_proxy}"
+ export NO_PROXY="${no_proxy}"