Merge branch 'Mint' of gitlab.tetras-libre.fr:primtux-eole/grenoble/primtux-eole into Mint

    exit 1

fi

export https_proxy="http://pedago:3142"

export https_proxy="http://dnsproxy:3128"

echo "Acquire::http::Proxy \"$https_proxy\";" >> /etc/apt/apt.conf.d/70debconf

echo "Acquire::https::Proxy \"$https_proxy\";" >> /etc/apt/apt.conf.d/70debconf

export https_proxy="http://dnsproxy:3128"