EDV:KIPProxy/TeXLive

Installation von TeXLive

Wie installiere ich TeXLive unter Verwendung des PROXY-Servers?

Das Installationspaket von TeXLive kann zwar leicht vom Netz heruntergeladen werden, aber bei der Installation müssen vom Installer Pakete nachgeladen werden. Wenn der Installer aber nicht den Proxy verwendet, schlägt dies fehl...

Glücklicherweise benutzt der Installer WGET zum nachladen der Pakete

Vorbereitungen

Erstellen Sie eine Datei mit den WGET-Optionen, z.B. 'C:\temp\wgetrc.txt', mit dem Inhalt

ftp_proxy = http://proxy.kip.uni-heidelberg.de:8080/
http_proxy = http://proxy.kip.uni-heidelberg.de:8080/
https_proxy = http://proxy.kip.uni-heidelberg.de:8080/

Öffnen die die BATCH-Datei des Installers 'tl-install.bat' mit einem Text-Editor und fügen am Anfang den folgenden Befehl ein:

set WGETRC=C:\temp\wgetrc.txt

Danach starten Sie die Batch-Datei.

Links

• http://www.tug.org/texlive/
• http://www.interlog.com/~tcharron/wgetwin.html