No Such Blog or Diary

目的の金額ぴったりに物品を購入せよというパズルをやった．最終的に答えが作れたのは偶然なのか根性なのか．たぶん偶然が大きいのだろうけど，なんとかなっちゃうのが面白い．

なお，解を構築している最中に購入予定の物品が品切れ（納期が伸びた）になってやり直しを食らうこともあるらしい．

諸々 WLS2 の様子がわかってきたので，そろそろ MSYS2 を捨てようかと色々と作業した．

結果，表部分の移行は完了．生活できる．でも，ssh サーバについては win 側からのポート転送が必要そうで面倒なのでしばらく放置．

ということで，WSL2 への移行は "ほぼ" できたという状態．

ところで，WSL2 の Linux は仮想ネットワーク越しにホストにくっついているのだけど，WSL2 内の ssh で -D 8080 とかやって作ったプロキシに Windows 側から localhost:8080 でアクセスできる．不思議．何をしているのだろう？

まあ，がんばりますかね．来年度は平和になっているだろう．

OneDrive for Business でそれができたのでとりあえずそれにしてみた．OneDrive 側のウェブアプリの PDF リーダが動いてる感じ？

オープンソースなソフトで同じことを簡単にできたりするのだろうか？　そのうち調べる．

OpenType のフォントを使ったスライドとか表とかを Office の機能で PDF にしてたのだけど，実は拡大してみるとジャギってるということに今更に気づいた．TrueType のはうまく埋め込まれてるのに……　

モリサワの Q&A 的なやつで「Office の PDF 保存が OpenType の埋め込み非対応」とか書かれてるのできっとどうのしようもないのだろう．

ということで，OpenType フォント使ってるときには Acrobat の機能で PDF に保存しとくのが幸せっぽい．

最近 Ubuntu 20.04 に do-release-upgrade してから発生してた問題で，編集したファイルを保存せずエディタを閉じるときとかに出る確認ダイアログのポップアップが結構遅かった．ダイアログが出るまで待たされるだけだったのでしばらく放置してたけど，やっぱり我慢してられんと思ったのでどうにかしてみることにした．

で，とりあえず日本語でググっだけど同じ症状の情報はうまく見つからなかった．残念．そして次に "ubuntu dialogue slow pop up" でぐぐってみたら，まんま同じ症状が見つかった：https://askubuntu.com/questions/1254787/pop-up-dialogs-very-slow-on-ubuntu-20-04

結局，PulseAudio が音を準備するのに時間食ってたかなんかが原因だったらしい．そこに書いてある解決策のとおり，~/.config/pulse/default.pa を作って .include /etc/pulse/default.pa と unload-module module-suspend-on-idle の2行を書き込んで再起動したら直った．

めでたし．