Browse Source

为安卓构建网络请求添加代理

dengdx 2 days ago
parent
commit
ff72c7b450
1 changed files with 10 additions and 1 deletions
  1. 10 1
      .github/workflows/build-linux-arm-appimage.yml

+ 10 - 1
.github/workflows/build-linux-arm-appimage.yml

@@ -110,7 +110,16 @@ jobs:
         run: |
           $url = "https://dl.google.com/android/repository/commandlinetools-win-11076708_latest.zip"
           $output = "$env:TEMP\cmdtools.zip"
-          Invoke-WebRequest -Uri $url -OutFile $output
+          
+          # 检查是否有代理设置
+          if ($env:HTTP_PROXY -or $env:HTTPS_PROXY) {
+            $proxy = if ($env:HTTPS_PROXY) { $env:HTTPS_PROXY } else { $env:HTTP_PROXY }
+            Write-Host "使用代理: $proxy"
+            Invoke-WebRequest -Uri $url -OutFile $output -Proxy $proxy -ProxyUseDefaultCredentials
+          } else {
+            Write-Host "直接连接(无代理)"
+            Invoke-WebRequest -Uri $url -OutFile $output
+          }
           
           $sdkRoot = "C:\android-sdk"
           $cmdlineTools = "$sdkRoot\cmdline-tools\latest"