18/02/19 11:00:40.34 .net
>>844
あーそれ，いいんだけれど，少しばかり遅い。
>>809 の
$ readlink -f "$(which tlmgr)" | awk -v FS="/" '{ print $(NF-4) }' -
と比べてみると，
$ time for i in $(seq 1 100); do basename $(kpsewhich --var-value TEXMFROOT) > /dev/null; done
real 0m8.803s
user 0m7.996s
sys 0m0.404s
$ time for i in $(seq 1 100); do readlink -f "$(which tlmgr)" | awk -v FS="/" '{ print $(NF-4) }' - > /dev/null; done
real 0m0.441s
user 0m0.032s
sys 0m0.056s
という感じ。