Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2019-03-11 20:34:50 →
Size: 73
Editor: PieterSmit
Comment:
← Revision 2 as of 2019-03-11 20:37:13 → ⇥
Size: 381
Editor: PieterSmit
Comment:
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:


=== Setup debian/ubuntu apt to use proxy ===
 * e.g. tinyproxy running on 2nd machine, default port 8888 and example IP 10.13.55.13.

 * edit $ sudo vim /etc/apt/apt.conf.d/proxy.conf {{{
Acquire::http::Proxy "http://10.13.55.13:8888";
Acquire::https::Proxy "http://10.13.55.13:8888";
}}}
  

tinyproxy

  • For when squid would be overkill

Setup debian/ubuntu apt to use proxy

  • e.g. tinyproxy running on 2nd machine, default port 8888 and example IP 10.13.55.13.

  • edit $ sudo vim /etc/apt/apt.conf.d/proxy.conf 

    Acquire::http::Proxy "http://10.13.55.13:8888";
Acquire::https::Proxy "http://10.13.55.13:8888";

linux/tinyproxy (last edited 2019-03-11 20:37:13 by PieterSmit)