ワトソン · @wtsnjp
143 followers · 4179 posts · Server mstdn.wtsnjp.comTexdoc 4.0 has been released 🚀
https://github.com/TeX-Live/texdoc/blob/v4.0/NEWS#L5-L19
#texlive #Texdoc
ワトソン · @wtsnjp
143 followers · 4165 posts · Server mstdn.wtsnjp.com
ワトソン · @wtsnjp
131 followers · 3726 posts · Server mstdn.wtsnjp.com
方針は決まっていないが、何でもいいから誰かがなんかいい感じにしてくれたら助かるissueはこちら💁♂️ #Texdoc
https://github.com/TeX-Live/texdoc/issues/77
ワトソン · @wtsnjp
126 followers · 3660 posts · Server mstdn.wtsnjp.com少し前に「ローカルドキュメントが存在しない場合は https://texdoc.org/ のオンライン検索を試す」プルリクをもらってマージしたので、ドキュメントなしで TeX Live をインストールしている環境でも多少は Texdoc が使えるようになります。
https://github.com/TeX-Live/texdoc/pull/79
#texlive #texdoc
ワトソン · @wtsnjp
126 followers · 3660 posts · Server mstdn.wtsnjp.com一般的な Unix ツールのロケール判定のしくみがよくわかっていないのだけど，os.setlocale() 任せのロケール情報取得が *うまくいかなかったケースに限って* 自力で LANG 変数を見に行ってもし解釈可能な値だったらそれに基づいて言語コードを設定する，ということをやってもいいかしら？ #Texdoc https://twitter.com/wtsnjp/status/1519678112619175938
ワトソン · @wtsnjp
126 followers · 3660 posts · Server mstdn.wtsnjp.com結局 Texdoc 3.4 のスコア計算には小さいながらも明らかなバグがあって2週間で3.4.1を出すことに🙃 意図せず nil == nil で true 判定になっている箇所があった．これだから安全でない言語は…… 私が気付く前に完璧なバグ報告をしてくださったお二方に感謝🙏 #Texdoc
https://github.com/TeX-Live/texdoc/issues/76
ワトソン · @wtsnjp
126 followers · 3660 posts · Server mstdn.wtsnjp.comついでに Texdoc の CI も GitHub Actions に移行した #Texdoc
https://github.com/TeX-Live/texdoc
ワトソン · @wtsnjp
126 followers · 3661 posts · Server mstdn.wtsnjp.com
ワトソン · @wtsnjp
126 followers · 3661 posts · Server mstdn.wtsnjp.com＠関係者各位
何卒よろしくお願い申し上げます🙇♂️
#Texdoc https://twitter.com/hid_alma1026/status/1295358691919552512