• linux
• tinyproxy

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";