devxy/r-builds
Watch
2
0
Fork
You've already forked r-builds
 0
Code Issues 1 Pull requests Releases Activity

Set the HTTP user agent in the system Rprofile

Browse source
This commit is contained in:
Greg Lin 2019-09-04 16:13:27 -05:00
commit 685c8228ba
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
builder/build.sh
View file

@ -94,8 +94,9 @@ compile_r() {
make make
make install make install
# Add OS identifier to the default HTTP user agent # Add OS identifier to the default HTTP user agent.
cat <<EOF >> /opt/R/${1}/lib/R/etc/Rprofile.site # Set this in the system Rprofile so it works when R is run with --vanilla.
cat <<EOF >> /opt/R/${1}/lib/R/library/base/R/Rprofile
## Set the default HTTP user agent ## Set the default HTTP user agent
local({ local({
os_identifier <- if (file.exists("/etc/os-release")) { os_identifier <- if (file.exists("/etc/os-release")) {