diff --git a/scripts/configure_Rprofile.sh b/scripts/configure_Rprofile.sh index 68b3844ff538bce31fb345c094cd66e8a820359f..e66965020ca5af9f53f7121d9750da86cca21ff3 100755 --- a/scripts/configure_Rprofile.sh +++ b/scripts/configure_Rprofile.sh @@ -2,7 +2,7 @@ set -e R_HOME=${R_HOME:-"/usr/local/lib/R"} -DEFAULT_MIRRORS='"https://cran.r-project.org"' +DEFAULT_MIRRORS='CRAN="cran.r-project.org"' cat <<EOF >"${R_HOME}/etc/Rprofile.site" options(