aboutsummaryrefslogtreecommitdiff
path: root/tlobsd
diff options
context:
space:
mode:
Diffstat (limited to 'tlobsd')
-rw-r--r--tlobsd12
1 files changed, 7 insertions, 5 deletions
diff --git a/tlobsd b/tlobsd
index 3e8d7ca..b560224 100644
--- a/tlobsd
+++ b/tlobsd
@@ -4,8 +4,12 @@
4 4
5cmd=$@ 5cmd=$@
6 6
7# no $cmd
8if [[ -z ${cmd} ]];then
9 echo "$(basename $0): unknown action"
10 exit 1
7# tlmgr 11# tlmgr
8if [[ $1 == "tlmgr" ]];then 12elif [[ $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
15else 19else
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}"
20fi 22fi