Skip to content

Instantly share code, notes, and snippets.

@lurdan

lurdan/w32tex_setup.sh

Created December 28, 2015 23:59
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save lurdan/d7ecea4ec817c9f4f3e9 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save lurdan/d7ecea4ec817c9f4f3e9 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. lurdan created this gist Dec 28, 2015.
    40 changes: 40 additions & 0 deletions w32tex_setup.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,40 @@
    #!/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/