A temporary proxy does not work:
export http_proxy=http://myproxyaddress:proxyport
I have to create a file
gksudo gedit /etc/apt/apt.confwith the following content:
Acquire::http::Proxy "http://myproxyaddress:proxyport";
display source.list
cat /etc/apt/sources.list