diff options
Diffstat (limited to 'scripts/build_dmm_dep.sh')
-rwxr-xr-x | scripts/build_dmm_dep.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/build_dmm_dep.sh b/scripts/build_dmm_dep.sh index 980b3f5..ecbb686 100755 --- a/scripts/build_dmm_dep.sh +++ b/scripts/build_dmm_dep.sh @@ -2,6 +2,11 @@ set -x +# add inherited proxy for sudo user +LINE='Defaults env_keep += "ftp_proxy http_proxy https_proxy no_proxy"' +FILE=/etc/sudoers +grep -qF -- "$LINE" "$FILE" || sudo echo "$LINE" >> "$FILE" + OS_ID=$(grep '^ID=' /etc/os-release | cut -f2- -d= | sed -e 's/\"//g') #set and check the environment for Linux |