# HG changeset patch # User wenzelm # Date 1354483212 -3600 # Node ID c192ba6e6e5d1bd457c64eb8542523404f59c8fd # Parent 5b49cfd43a37f9489489da294360adf7b4794bce semi-automated Cygwin setup; diff -r 5b49cfd43a37 -r c192ba6e6e5d Admin/Windows/Cygwin/Cygwin-Setup-Default.bat --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/Windows/Cygwin/Cygwin-Setup-Default.bat Sun Dec 02 22:20:12 2012 +0100 @@ -0,0 +1,4 @@ +@echo off + +setup.exe --local-package-dir "%TEMP%" --root "%CD%\cygwin-root" -P libgmp3,perl,python,texlive-collection-basic,texlive-collection-fontsrecommended,texlive-collection-genericrecommended,texlive-collection-latex,texlive-collection-latexrecommended +