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