I would start R with the command: http_proxy="http://SERVER:3128"; R
and then from R I would try:
install.packages("Rcmdr", dep = TRUE, method = "wget")
provided that you have wget installed on your system (which I think).
______________________________________________
R-help@r-project.org mailing list
https://stat.ethz.ch/mailman/listinfo/r-help
PLEASE do read the posting guide http://www.R-project.org/posting-guide.html
and provide commented, minimal, self-contained, reproducible code.
