diff options
-rw-r--r-- | tlobsd | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -27,8 +27,11 @@ elif [[ $1 == "help" ]];then | |||
27 | $cmd | 27 | $cmd |
28 | # tlmgr | 28 | # tlmgr |
29 | elif [[ $1 == "tlmgr" ]];then | 29 | elif [[ $1 == "tlmgr" ]];then |
30 | tempfile=`mktemp` | ||
30 | $cmd | 31 | $cmd |
31 | [[ $? -eq 0 ]] && tlobsd-mksymlinks 1> /dev/null | 32 | if [[ $? -eq 0 ]] && [[ ${tempfile} -ot $(kpsewhich ls-R) ]];then |
33 | tlobsd-mksymlinks 1> /dev/null | ||
34 | fi | ||
32 | # symlinks | 35 | # symlinks |
33 | elif [[ $1 == "mksymlinks" ]];then | 36 | elif [[ $1 == "mksymlinks" ]];then |
34 | tlobsd-mksymlinks $2 | 37 | tlobsd-mksymlinks $2 |