diff options
author | Robert Alessi <alessi@robertalessi.net> | 2024-03-14 11:47:48 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2024-03-14 11:47:48 +0100 |
commit | d77fe20728201db025f21c80d7fb7fdda26eccf3 (patch) | |
tree | 260a3bc8474e11a59e9d6881c826e341582dc8dc | |
parent | 2ad9bdb317c4f1269f50dfe3048c7489146b8ea7 (diff) | |
download | texlive-openbsd-d77fe20728201db025f21c80d7fb7fdda26eccf3.tar.gz |
use r70573 until the 2024 branch is available
-rwxr-xr-x | checkout-tl.sh | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/checkout-tl.sh b/checkout-tl.sh index 435e157..41caac4 100755 --- a/checkout-tl.sh +++ b/checkout-tl.sh | |||
@@ -1,2 +1,19 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source . | 2 | #rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source . |
3 | PWD=`pwd` | ||
4 | REV=70573 | ||
5 | if [[ ! -d source ]];then | ||
6 | svn co svn://tug.org/texlive/trunk/Build/source@${REV} | ||
7 | else | ||
8 | cd source | ||
9 | svn update -r ${REV} | ||
10 | if [[ $? -ne 0 ]];then | ||
11 | echo "Please remove or rename the source/ directory" | ||
12 | echo "and re-run this command." | ||
13 | exit 1 | ||
14 | fi | ||
15 | svn revert --recursive . | ||
16 | svn status --no-ignore | grep '^[?I]' | sed "s/^[?I] //" \ | ||
17 | | xargs -I{} rm -rf "{}" | ||
18 | fi | ||
19 | cd ${PWD} | ||