Skip to content
Snippets Groups Projects
Commit 431abbc1 authored by Elodie CHAPEAUBLANC's avatar Elodie CHAPEAUBLANC
Browse files

🔧 Modify mirror for R option

parent fd51407d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
scripts/configure_Rprofile.sh
+ 1
− 1
View file @ 431abbc1
......@@ -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(
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment