aboutsummaryrefslogtreecommitdiff
path: root/checkout-tl.sh
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2024-03-14 14:27:22 +0100
committerRobert Alessi <alessi@robertalessi.net>2024-03-14 14:27:22 +0100
commitc0fc155aef61870c6dbc04aabd317ea418762fa7 (patch)
treedf381960576fc55d4229acbc96766797b638031b /checkout-tl.sh
parentd77fe20728201db025f21c80d7fb7fdda26eccf3 (diff)
downloadtexlive-openbsd-c0fc155aef61870c6dbc04aabd317ea418762fa7.tar.gz
better include an option to compile either TL-current (default) or TL-dev
Diffstat (limited to 'checkout-tl.sh')
-rwxr-xr-xcheckout-tl.sh25
1 files changed, 9 insertions, 16 deletions
diff --git a/checkout-tl.sh b/checkout-tl.sh
index 41caac4..4d42437 100755
--- a/checkout-tl.sh
+++ b/checkout-tl.sh
@@ -1,19 +1,12 @@
1#!/bin/sh 1#!/bin/sh
2#rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source . 2if [[ $1 == "dev" ]];then
3PWD=`pwd` 3 rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source .
4REV=70573
5if [[ ! -d source ]];then
6 svn co svn://tug.org/texlive/trunk/Build/source@${REV}
7else 4else
8 cd source 5 # source variables
9 svn update -r ${REV} 6 PWD=$(pwd)
10 if [[ $? -ne 0 ]];then 7 TMPDIR=$(mktemp -d)
11 echo "Please remove or rename the source/ directory" 8 . ${PWD}/variables.conf
12 echo "and re-run this command." 9 [[ -d "texlive-${TL_PUBDATE}-source" ]] && rm -rf texlive-${TL_PUBDATE}-source
13 exit 1 10 wget --show-progress https://mirrors.ctan.org/systems/texlive/Source/texlive-${TL_PUBDATE}-source.tar.xz -P ${TMPDIR}/
14 fi 11 xzcat ${TMPDIR}/texlive-${TL_PUBDATE}-source.tar.xz | tar xf -
15 svn revert --recursive .
16 svn status --no-ignore | grep '^[?I]' | sed "s/^[?I] //" \
17 | xargs -I{} rm -rf "{}"
18fi 12fi
19cd ${PWD}