Include to default to precompiled package binaries on Linux

.Rprofile

# Set default user agent header
options(HTTPUserAgent = sprintf(
                            "R/%s R (%s)", 
                            getRversion(), 
                            paste(
                                getRversion(),
                                R.version["platform"], 
                                R.version["arch"],
                                R.version["os"]
                            )
                        )
)

# Also use this user agent header for wget and curl from within R
options(download.file.extra = sprintf("--header \"User-Agent: R (%s)\"",
                                      paste(getRversion(),
                                            R.version["platform"],
                                            R.version["arch"],
                                            R.version["os"])
                                    )
)

UBUNTU_FLAVOR = system("grep UBUNTU_CODENAME /etc/os-release | cut -d '=' -f2",
                        intern = TRUE)
options(repos = c(CRAN = sprintf("https://packagemanager.rstudio.com/all/__linux__/%s/latest",
                                UBUNTU_FLAVOR
                                ),
                  getOption("repos")
                  )
       )
rm(UBUNTU_FLAVOR)