Anton Shestakov <engored@ya.ru>, Wed, 09 Oct 2013 20:06:10 +0900
pastetoggle <F2>
.bash_dconf2env
Permissions: -rw-r--r--
[[ `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}"