diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2016-03-24 20:50:47 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2016-03-24 20:50:50 +0100 |
| commit | 97ac3ed9828bab95f6782213376f42de4c5abe8d (patch) | |
| tree | 3bb88deb02ccd94d26df86dd4be49b64937d7abc /debian/internet-kiosk.default | |
| parent | da099c416cb2e74f284744023fabec195567460c (diff) | |
| download | internet-kiosk-master.tar.gz internet-kiosk-master.tar.bz2 internet-kiosk-master.zip | |
Diffstat (limited to 'debian/internet-kiosk.default')
| -rw-r--r-- | debian/internet-kiosk.default | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/internet-kiosk.default b/debian/internet-kiosk.default index 39f0c74..423a01a 100644 --- a/debian/internet-kiosk.default +++ b/debian/internet-kiosk.default @@ -10,6 +10,9 @@ MASTER_TERMINALS="$(hostname -f)" START_URL_MASTERS="http://wiki.debian.org" START_URL_SLAVES="http://wiki.it-zukunft-schule.de" +# HTTP proxy URL, if needed +#HTTP_PROXY_URL="http://webcache:3128" + # launch pulseaudio daemon if not already running WITH_PULSEAUDIO="yes" |