Skip to content

Instantly share code, notes, and snippets.

@lurdan
Created December 28, 2015 23:59
Show Gist options
  • Select an option

  • Save lurdan/d7ecea4ec817c9f4f3e9 to your computer and use it in GitHub Desktop.

Select an option

Save lurdan/d7ecea4ec817c9f4f3e9 to your computer and use it in GitHub Desktop.
smaller tex setup to use with imaxima.
#!/bin/sh
#TARGET=`uname -m`
INSTDIR=/c/apps/W32TeX
mkdir -p $INSTDIR/tmp
cd $INSTDIR/tmp
while read ARC
do
echo $ARC
curl -O http://www.ring.gr.jp/archives/text/TeX/ptex-win32/current/$ARC
done << EOF
biblatex-biber.tar.xz
dvipdfm-w32.tar.xz
dvipsk-w32.tar.xz
dvitools-w32.tar.xz
latex.tar.xz
ltxpkgs.tar.xz
makeindex-w32.tar.xz
manual.tar.xz
mftools.tar.xz
pdftex-w32.tar.xz
platex.tar.xz
ptex-w32.tar.xz
sam2p-w32.tar.xz
t1fonts.tar.xz
timesnew.tar.xz
txpx-pazofonts.tar.xz
uptex-w32.tar.xz
vf-a2bk.tar.xz
web2c-lib.tar.xz
web2c-w32.tar.xz
EOF
# errorcheck
cd $INSTDIR
unzip tmp/texinst*.zip
#texinst.exe tmp/
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment