Exporter les variables proxy pour les commandes qui le requièrent

echo "https_proxy = ${HTTP_PROXY}" >> /etc/wgetrc

wget -O /etc/apt/trusted.gpg.d/php.gpg https://packages.sury.org/php/apt.gpg

echo "deb https://packages.sury.org/php/ $(lsb_release -sc) main" > /etc/apt/sources.list.d/php.list

export http_proxy=${HTTP_PROXY}

export https_proxy=${HTTP_PROXY}

export ftp_proxy=${HTTP_PROXY}

export no_proxy=unicaen.fr

# Installation des packages requis.

apt-get -qq update && \