Added proxy settings to all the regular places :
/etc/environment
export http_proxy=http://proxy.domain:port
/etc/apt/apt.conf
aquire::http::proxy "http://proxy.domain:port/";
/etc/apt/apt.conf.d/80proxy
aquire::http::proxy "http://proxy.domain:port/";
None of which worked. In the end the command :
http_proxy='http://proxy.domain:port/' apt-get updateand because I always forget how to do this :
#!/bin/bash
http_proxy='http://proxy.eu.rtdom.net:8080/' $1 $2 $3
No comments:
Post a Comment