如何在代理处于活动状态时从 github 下载包

问：

我的雇主建议使用以下设置在 RStudio 中下载和安装包：

1. 工具>全局选项>包>取消标记“使用HTTP的安全下载方法”
2. 在 中写下以下内容。伦维隆：

http_proxy=http：//proxy。XXX.ch:8080/

https_proxy=http：//proxy。XXX.ch:8080/

这适用于常规下载，例如：

install.packages("renv")
renv::install("pacman")

但是，对于 github 上的包，我收到以下错误：

install_github('ropensci/tabulizerjars')


Error: Failed to install 'unknown package' from GitHub:
  Received HTTP code 407 from proxy after CONNECT

这篇文章列出了这个可能的解决方案：

set_config(
  use_proxy(url="18.91.12.23", port=8080, username="user",password="password")
)

我认为网址应该是，但我不知道我用什么作为用户名和密码。 我还找到了 wpad.dat 文件，但是我在那里找不到任何进一步的有用信息。http://proxy.XXX.ch:8080/

更新：

正如 r2evans 提到的，一种可能的解决方法是从 github 下载 .ZIP 文件，解压缩它们并使用（也在此处解释）devtools::install(..))