#! /bin/sh

kwartzHere=1
kwartzIP=172.16.0.254

# on lit les réglages entrés lors de la configuration de kwartz-client
# pour les refaire on peut lancer : `sudo dpkg-reconfigure kwartz-client`

. /etc/kwartz-client.conf

# la variable alt_ip contient l'adresse symbolique du serveur kwartz
# ... éventuellement !

IP=$(host ${alt_ip} | grep "has address" | awk '{print $4}')

# au cas où la variable alt_ip a permis de trouver le service kwartz, alors :
if [ -n "${IP}" ]; then
    kwartzIP=${IP};
fi

ping -c 1 ${kwartzIP} > /dev/null 2>&1 || kwartzHere=0

if [ $kwartzHere = 0 ]; then
    # c'est un environnement autre, il n'y a pas de Kwartz
    rm -f /etc/profile.d/kwartz-proxy.sh
    rm -f /etc/apt/apt.conf.d/99kwartz-proxy
    sed -i '/http_proxy = 175.16.0.254:3128/ d' /etc/wgetrc
else
    echo "export http_proxy=http://${kwartzIP}:3128" > /etc/profile.d/kwartz-proxy.sh
    echo 'Acquire::http::Proxy "http://${kwartzIP}:3128";' > /etc/apt/apt.conf.d/99kwartz-proxy
    sed -i '$ a http_proxy = ${kwartzIP}:3128' /etc/wgetrc
fi
