>>267
でも、これを .zshrc に入れたら zsh の起動にいちいち時間が掛かるようになったw
あらかじめデータを取り出したファイルを用意して読ませるか。データの更新は
tlmgr update の時だけで良いし。