Variety works with Ubuntu's global proxy setting (it needs restarting after you change this setting). Also, if you set HTTP_PROXY variable, it will use it - for example, run it with:
HTTP_PROXY=10.10.10.10 /opt/extras.ubuntu.com/variety/bin/variety -v
Replace 10.10.10.10 with the IP of a proxy server you'd like to use.
Variety works with Ubuntu's global proxy setting (it needs restarting after you change this setting). Also, if you set HTTP_PROXY variable, it will use it - for example, run it with: 10.10.10. 10 /opt/extras. ubuntu. com/variety/ bin/variety -v
HTTP_PROXY=
Replace 10.10.10.10 with the IP of a proxy server you'd like to use.