Ben Chuanlong Du's Blog

It is never too late to learn.

Configure Proxy for Apt

Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

Add the following lines into the file /etc/apt/apt.conf, where proxy_server is the address/ip of the server and port is the port of the proxy service.

Acquire::http …

Speed Up sbt in China

Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

Currently sbt uses https by default. However, the Great Firewall of China makes https visits to websites out of China slow.

Proxy

If you have access to proxy server, it is …