aboutsummaryrefslogtreecommitdiff
path: root/tlobsd
diff options
context:
space:
mode:
Diffstat (limited to 'tlobsd')
-rw-r--r--tlobsd10
1 files changed, 7 insertions, 3 deletions
diff --git a/tlobsd b/tlobsd
index e5baaa5..9655167 100644
--- a/tlobsd
+++ b/tlobsd
@@ -8,9 +8,13 @@ cmd=$@
8if [[ $1 == "tlmgr" ]];then 8if [[ $1 == "tlmgr" ]];then
9 $cmd 9 $cmd
10 [[ $? -eq 0 ]] && tlobsd-mksymlinks 1> /dev/null 10 [[ $? -eq 0 ]] && tlobsd-mksymlinks 1> /dev/null
11fi
12
13# symlinks 11# symlinks
14if [[ $1 == "mksymlinks" ]];then 12elif [[ $1 == "mksymlinks" ]];then
15 tlobsd-mksymlinks $2 13 tlobsd-mksymlinks $2
14# something that is unknown to tlobsd
15else
16 echo "$1 is not known to $0. You should use:"
17 echo "--> ${cmd}"
18 echo "instead of:"
19 echo "--> $0 ${cmd}"
16fi 20fi