Switch user agent format

This commit is contained in:
Greg Lin 2019-08-22 18:15:59 -05:00
commit c452bacb94

View file

@ -2,10 +2,10 @@ if [[ ! -d /tmp/output/ubuntu-1604 ]]; then
mkdir -p /tmp/output/ubuntu-1604
fi
# Preserve the default HTTP user agent for R 3.6+
# Set default HTTP user agent for R 3.6+
cat <<'EOF' >> /opt/R/${R_VERSION}/lib/R/etc/Rprofile.site
# Add OS version info to the HTTP user agent
options(HTTPUserAgent = paste(c(utils::sessionInfo()$running, getOption("HTTPUserAgent")), collapse = "; "))
# 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
fpm \