From a6c5e6094c016b057fe1598ed9a7ec8ad28709cc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Pierret=20=28fepitre=29?= Date: Mon, 13 Jul 2020 17:21:27 +0200 Subject: [PATCH] update-proxy-configs: handle Portage(Gentoo) --- network/update-proxy-configs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/network/update-proxy-configs b/network/update-proxy-configs index df00aa7..24f7df2 100755 --- a/network/update-proxy-configs +++ b/network/update-proxy-configs @@ -144,3 +144,9 @@ fi if [ -e /etc/PackageKit/PackageKit.conf ]; then update_conf /etc/PackageKit/PackageKit.conf "ProxyHTTP=$PROXY_ADDR" fi + +# Portage (Gentoo) +if [ -e /etc/portage/make.conf ]; then + update_conf /etc/portage/make.conf "http_proxy=\"$PROXY_ADDR\" +https_proxy=\"$PROXY_ADDR\"" +fi