How to install Texlive via a proxy server.

Hey everybody,

Yep, these proxy issues are frustrating but the solution is dead simple. Strangely, this is not documented anywhere on the texlive webpage.

1. Download install-tl.zip (standalone) fromt he Texlive download page.

2. Extract and locate the install-tl-advanced.bat file.

3. Add your proxy settings in the bat file.

@echo off
echo Add proxys:
set http_proxy=http://proxy-site.domain.com
set https_proxy=http://proxy-site.domain.com
rem $Id: install-tl-advanced.bat 33536 2014-04-19 09:41:24Z siepo $
rem Public domain.
rem Originally written 2009 by Norbert Preining.
rem
rem Start installer in advanced (perltk) mode. This is here so that
rem it can easily launched from the normal Windows GUI, not just the
rem command line.

call “%~dp0install-tl-windows.bat” -gui perltk %*

4. Open an elevated command prompt (i.e as Administrator) and execute the batch script.

5. Boom and you are welcome 🙂

Advertisements

Shailen is a Technical Consulting Engineer at Intel Corporation. He has a Master degree in Computational Science and Engineering from the Technical University of Munich and a Bachelor degree in Electrical Engineering and Computer Science from Jacobs Univerity Bremen. Shailen has conducted research in power modelling for HPC applications and has high interests in the mobile sector. At Intel, Shailen is responsible for the Intel Integrated Native Developer Experience (INDE) suite of software for mobile developers. Shailen comes from the beautiful island of Mauritius. He has a LinkedIn and a Xing profile. Lastly, his name is unique in the world and he admires Bill Gates.

Posted in High Performance Computing

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Blog Stats
  • 205,871 hits
%d bloggers like this: