diff options
author | Robert Alessi <alessi@robertalessi.net> | 2024-03-14 14:27:22 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2024-03-14 14:27:22 +0100 |
commit | c0fc155aef61870c6dbc04aabd317ea418762fa7 (patch) | |
tree | df381960576fc55d4229acbc96766797b638031b /checkout-tl.sh | |
parent | d77fe20728201db025f21c80d7fb7fdda26eccf3 (diff) | |
download | texlive-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-x | checkout-tl.sh | 25 |
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 . | 2 | if [[ $1 == "dev" ]];then |
3 | PWD=`pwd` | 3 | rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source . |
4 | REV=70573 | ||
5 | if [[ ! -d source ]];then | ||
6 | svn co svn://tug.org/texlive/trunk/Build/source@${REV} | ||
7 | else | 4 | else |
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 "{}" | ||
18 | fi | 12 | fi |
19 | cd ${PWD} | ||