diff options
author | Robert Alessi <alessi@robertalessi.net> | 2024-04-04 11:35:24 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2024-04-04 11:35:24 +0200 |
commit | 2a004034496dccc503c15dcc82691bf0448cc559 (patch) | |
tree | 2ff95d2bbeab9274864ae3464d33f242dcb71ede | |
parent | bbb2576624d156f269f715d33e4b87f4deceba61 (diff) | |
download | texlive-openbsd-2a004034496dccc503c15dcc82691bf0448cc559.tar.gz |
better suggestions for tlobsd
-rw-r--r-- | makefile | 1 | ||||
-rw-r--r-- | tlobsd | 12 |
2 files changed, 8 insertions, 5 deletions
@@ -25,6 +25,7 @@ fetch: | |||
25 | mkdir ${TMPDIR}/bin \ | 25 | mkdir ${TMPDIR}/bin \ |
26 | && tar xf ${TMPDIR}/amd64-openbsd${OPENBSD_VERSION}.tar \ | 26 | && tar xf ${TMPDIR}/amd64-openbsd${OPENBSD_VERSION}.tar \ |
27 | -C ${TMPDIR}/bin | 27 | -C ${TMPDIR}/bin |
28 | @echo "" | ||
28 | @echo "Looks good." | 29 | @echo "Looks good." |
29 | @echo "Now do this to install TeX Live with custom binaries:" | 30 | @echo "Now do this to install TeX Live with custom binaries:" |
30 | @echo " cd /path/to/install-tl" | 31 | @echo " cd /path/to/install-tl" |
@@ -4,8 +4,12 @@ | |||
4 | 4 | ||
5 | cmd=$@ | 5 | cmd=$@ |
6 | 6 | ||
7 | # no $cmd | ||
8 | if [[ -z ${cmd} ]];then | ||
9 | echo "$(basename $0): unknown action" | ||
10 | exit 1 | ||
7 | # tlmgr | 11 | # tlmgr |
8 | if [[ $1 == "tlmgr" ]];then | 12 | elif [[ $1 == "tlmgr" ]];then |
9 | $cmd | 13 | $cmd |
10 | [[ $? -eq 0 ]] && tlobsd-mksymlinks 1> /dev/null | 14 | [[ $? -eq 0 ]] && tlobsd-mksymlinks 1> /dev/null |
11 | # symlinks | 15 | # symlinks |
@@ -13,8 +17,6 @@ elif [[ $1 == "mksymlinks" ]];then | |||
13 | tlobsd-mksymlinks $2 | 17 | tlobsd-mksymlinks $2 |
14 | # something that is unknown to tlobsd | 18 | # something that is unknown to tlobsd |
15 | else | 19 | else |
16 | echo "$1 is not known to $(basename $0). You should use:" | 20 | echo "$1 is not known to $(basename $0). Try: ${cmd} --help if you need it." |
17 | echo "--> ${cmd}" | 21 | exit 1 |
18 | echo "instead of:" | ||
19 | echo "--> $(basename $0) ${cmd}" | ||
20 | fi | 22 | fi |