diff options
Diffstat (limited to 'tlobsd')
-rw-r--r-- | tlobsd | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -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 |