Merge pull request #30 from rstudio/user-agent

Set default HTTP user agent
This commit is contained in:
Greg Lin 2019-09-05 16:29:21 -05:00 committed by GitHub
commit d453ac42ca
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -93,6 +93,14 @@ compile_r() {
make clean
make
make install
# Preserve the default HTTP user agent for R 3.6.0 and later
if _version_is_greater_than ${1} 3.6; then
cat <<'EOF' >> /opt/R/${1}/lib/R/etc/Rprofile.site
# Set default HTTP user agent
options(HTTPUserAgent = sprintf("R/%s R (%s)", getRversion(), paste(getRversion(), R.version$platform, R.version$arch, R.version$os)))
EOF
fi
}
# check for packager script