EDV:KIPProxy/TeXLive: Difference between revisions
From KIP Wiki
⧼kip-jumptonavigation⧽⧼kip-jumptosearch⧽
| Line 17: | Line 17: | ||
https_proxy = http://proxy.kip.uni-heidelberg.de:8080/ |
https_proxy = http://proxy.kip.uni-heidelberg.de:8080/ |
||
Öffnen |
Öffnen Sie 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 |
set WGETRC=C:\temp\wgetrc.txt |
||
Revision as of 09:55, 26 March 2013
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 vom Netz nachgeladen werden. Wenn der Installer 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 Sie 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.
Jetzt sollten die Pakete geladen werden können.
