[fptex] Obtaining fptex via proxy server

LUK ShunTim cestluk@polyu.edu.hk
Fri, 01 Jun 2001 20:15:54 +0800


Agnar Renolen wrote:
> 
> Hello,
> 
> I tried to obtain fptex from my office computer, but to no avail.  I
> guess it's a proxy server problem.
> 
> If so: How can I edit the getfptex.bat file tp make wget.exe obtain the
> source via the proxyserver (of which I know the address to)?
> 
> Thanks in advance
> Agnar Renolen
> NORWAY

I have these 2 lines in my wgetrc.ini

http_proxy = http://proxyhost.domain:port/ # Use your own host:port
use_proxy = on

Hope it will work for you,

Good day
ST
--