- 868 名前：名無しさん＠お腹いっぱい。 mailto:sage [2018/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
という感じ。
