如何设置http proxy在詹金斯

我用这个 链接 的配置http proxy在Jenkins，但后使用printenv只有那些变量。

HTTP_PROXY=http://127.0.0.1:3128
https_proxy=http://127.0.0.1:3128

我预计， http_proxy 和 HTTPS_PROXY 也得到设置。

我加入下面的步骤，在我的建立阶段，为设置这些环境变量，但 http_proxy 和 HTTPS_PROXY 没有得到设置。

   stage('build') {
        
        steps {
            echo "************ Before exporting ***************************"
            sh 'printenv | sort'
            sh "export http_proxy='http://127.0.0.1:3128'"
            sh "export https_proxy='http://127.0.0.1:3128'"
            sh "export HTTP_PROXY='http://127.0.0.1:3128'"
            sh "export HTTPS_PROXY='http://127.0.0.1:3128'"
            echo "************ After exporting ***************************"
            sh 'printenv | sort'
            echo "**************************************************"
            sh './myScript'
        }
    }

能不能请你帮我undrestand的问题是什么，并得到 myScript 运行，现在它只是失败的，因为这些变量是不正确吗？