File: debian-edu-common

package info (click to toggle)
debian-edu-install 1.821
  • links: PTS, VCS
  • area: main
  • in suites: jessie-kfreebsd
  • size: 1,164 kB
  • sloc: sh: 1,327; makefile: 101
file content (16 lines) | stat: -rwxr-xr-x 411 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
load_proxy_conf() {
    db_get mirror/protocol || true
    local PROTOCOL="$RET"
    if [ "$PROTOCOL" = "http" ]; then
	db_get mirror/http/proxy
	http_proxy="$RET" || true
	if [ "$http_proxy" ]; then
	    export http_proxy
	fi
    fi
    if [ "$http_proxy" ] ; then
	logger -t lib/debian-edu-common "info: using http_proxy=$http_proxy."
    else
	logger -t lib/debian-edu-common "info: no proxy used."
    fi
}