This shows you the differences between two versions of the page.
| — |
indexes:apt_through_a_proxy_server [2010/06/30 16:11] (current) domingo created |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | <code> | ||
| + | sudo gedit /etc/apt/apt.conf | ||
| + | </code> | ||
| + | |||
| + | add the following: | ||
| + | <file> | ||
| + | ACQUIRE { | ||
| + | http::proxy "http://user name:passw@host:port/" | ||
| + | } | ||
| + | </file> | ||
| + | |||
| + | to set up wget: | ||
| + | |||
| + | <code> | ||
| + | sudo gedit /etc/wgetrc | ||
| + | </code> | ||
| + | |||
| + | uncomment the line with the http_proxy like this: | ||
| + | |||
| + | <file> | ||
| + | # You can set the default proxies for Wget to use for http and ftp. | ||
| + | # They will override the value in the environment. | ||
| + | http_proxy = http://proxy.yoyodyne.com:18023/ | ||
| + | #ftp_proxy = http://proxy.yoyodyne.com:18023/ | ||
| + | # If you do not want to use proxy at all, set this to off. | ||
| + | use_proxy = on | ||
| + | </file> | ||
| + | |||
| + | |||
| + | ---- | ||
| + | //Source: http://ubuntuforums.org/showthread.php?t=136065// | ||