How do I make jigdo use my proxy?
Load the file ~/.jigdo-lite (or jigdo-lite-settings.txt for the Windows version) into a text editor and find the line that starts with “wgetOpts”. The following switches can be added to the line: -e ftp_proxy=http://LOCAL-PROXY:PORT/ -e http_proxy=http://LOCAL-PROXY:PORT/ –proxy-user=USER –proxy-passwd=PASSWORD Of course, substitute the correct values for your proxy server. The last two options are only necessary if your proxy uses password authentication. The switches need to be added to the end of the wgetOpts line before the final ‘ character. All options must be on one line. Alternatively, under Linux you can also set up the ftp_proxy and http_proxy environment variables, for example in the file /etc/environment or ~/.bashrc.
