set ftp_proxy to http_proxy

trz42 · Apr 26, 2024 · 4dfbfb4 · 4dfbfb4
1 parent 9012ca0
commit 4dfbfb4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/eessi_container.sh b/eessi_container.sh
@@ -193,6 +193,7 @@ while [[ $# -gt 0 ]]; do
     -x|--http-proxy)
       HTTP_PROXY="$2"
       export http_proxy=${HTTP_PROXY}
+      export ftp_proxy=${HTTP_PROXY}
       shift 2
       ;;
     -y|--https-proxy)

diff --git a/run_in_compat_layer_env.sh b/run_in_compat_layer_env.sh
@@ -32,6 +32,9 @@ fi
 if [ ! -z ${https_proxy} ]; then
     INPUT="export https_proxy=${https_proxy}; ${INPUT}"
 fi
+if [ ! -z ${ftp_proxy} ]; then
+    INPUT="export ftp_proxy=${ftp_proxy}; ${INPUT}"
+fi
 
 echo "Running '${INPUT}' in EESSI (${EESSI_CVMFS_REPO}) ${EESSI_VERSION} compatibility layer environment..."
 ${EESSI_COMPAT_LAYER_DIR}/startprefix <<< "${INPUT}"