install.packages("devtools") library(devtools)
To this aim, the utility set_config of package httr is used (Note that httr is a dependency of package devtools, and hence it is already installed in your system)
require(httr) set_config(use_proxy(url = "http://url_of_your_proxy.net", port = 9999, username = "user", password = "password"))