Linux：curl中的错误 - 无法使用devtools :: install_github（）安装R-packages

Question

我想从GitHub在我的R服务器（linux）上安装R-package Leaflet，因为它比当前的CRAN版本更新。我正在使用以下R脚本来执行此操作：

library(httr)
library(devtools)

set_config(use_proxy(url = "xxx", port = xxxx))
devtools::install_github("rstudio/leaflet")

但它显示以下错误：

if(!require('devtools')) install.packages('devtools')
Loading required package: devtools
devtools::install_github('rstudio/leaflet')
Downloading GitHub repo rstudio/leaflet@master
from URL https://api.github.com/repos/rstudio/leaflet/zipball/master
Error in curl::curl_fetch_memory(url, handle = handle) :
  Couldn't connect to server
Calls: <Anonymous> ... request_fetch -> request_fetch.write_memory -> <Anonymous> -> .Call
Execution halted

当我从CRAN安装软件包时，根本没有问题。但我需要最新版本的Leaflet，它只在GitHub ...

有解决方法吗？是因为我使用代理吗？

此致

里斯