From 37574e1918ab95065f09eb26b086ff25d8dc3820 Mon Sep 17 00:00:00 2001
From: Andrea Dell'Amico <andrea.dellamico@isti.cnr.it>
Date: Mon, 20 Mar 2023 14:25:39 +0100
Subject: [PATCH] Change the default mirror.

---
 jupyter-Rprofile.site | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/jupyter-Rprofile.site b/jupyter-Rprofile.site
index 69597e1..fb46a4f 100644
--- a/jupyter-Rprofile.site
+++ b/jupyter-Rprofile.site
@@ -32,10 +32,9 @@ print(paste("with the R version they are build against."))
 print(paste("***********************************************"))
 
 ########### Default mirror site #############################
-local({r <- getOption("repos")
-       r["CRAN"] <- "https://cran.mirror.garr.it/mirrors/CRAN/"
-       options(repos=r)
-})
+options(repos = c(CRAN = 'https://packagemanager.rstudio.com/cran/__linux__/focal/latest'), download.file.method = 'libcurl')
+# https://docs.rstudio.com/rspm/admin/serving-binaries/#binaries-r-configuration-linux
+options(HTTPUserAgent = sprintf("R/%s R (%s)", getRversion(), paste(getRversion(), R.version["platform"], R.version["arch"], R.version["os"])))
 
 Sys.setlocale(category = "LC_ALL", locale = "en_US.UTF-8")