22.04.1になった。xfce4-terminalで太字属性が正しく太字で描画されるようになった。これが気になっていたので一時期mltermとかに移行してみたのだが、困ったことに若干不安定だったり背景の透明化が効かなかったり常用にはちょっと厳しかったパネルからなぜかdatetimeプラグインが消えてしまった。入れ直せばまた入るThunarでサムネイル表示させてると割と不安定だったのが直っている...かもしれないFirefoxがsnapアプリケーションになった。なんか事前の情報だとけっこうダメダメな出来だと聞いていたが上手く動いている気がするChromeで動画を再生する際にハードウェアアクセラレーションが効かなかったのでいろいろググってあらかた試したのだが全然だった。今回ふと確認してみたら普通に効いてたxfce4-terminalにはドロップダウンモードというものがあり、つまりいつでもどこでもショートカットキーひとつで呼び出せる端末として振る舞う。これはけっこう便利なのだが、しばらく使っていると呼び出しても反応しなくなる。不思議なことに、マウスポインタをパネルの上に乗せると即反応する。今のところそれが直っている気がする特にトラブルとかなかった。16→18のときは盛大に問題続出だったのを振り返ると成熟あじがある。22.04と関係ないのだけど、地上波テレビを見るためにいわゆる柔らかいアレを導入しているのだがシステムのlibpcsclite.soを置き換えるというワイルドな手段をとっていたためwifiが使えなくなる(wpa_supplicantがスマートカードからの読み込み機能を持っているらしいので)という不具合があった。そこで、件のライブラリを置き換えずに済むような感じにlibarib25.soのビルドを変更。そもそもマジで地上波テレビ見ないからどうでもいいといえばいいのだが。何か見るときもありますしね。akahukuReply今日のwwwでは、広告は貼られることが当然のものになっている。広告がページの閲覧をどの程度邪魔するかとか、どの程度リソースを消費できるかとか、そういったものを規制する統一された基準は特にないように思える。ないので、やりようによっては全画面広告だとかいきなり動画が再生される広告とかマシンパワーをやたら横取りする広告とかなんでもできうる。そんなことを勝手にされたらたまらないわけで、PCのブラウザでは広告ブロッカー拡張を導入するユーザーが少なくない。いやwebサイトの維持に広告収入が重要なのはよく分かるのですが。広告をブロックするとページの読み込みが何倍も速くなってついでにバッテリーも保つんだからしょうがないよね。言いつつうちではその手のブロッカーは入れていない。その代わりにjavascriptの実行自体をブロックする拡張を入れている。javascriptの実行自体をブロックする拡張と言えば有名なのはNoscriptというやつなのだが、これは基本的に常にjavascriptの実行を禁止するが許可リストに登録されたサイトだけは例外扱いとするスタイルである。これだと知らないサイトに行くとだいたい動かない→許可リストに登録→リロードという作業を強いられるのでけっこうというかかなりうざったい。怪しげなサイトだろうが全うなサイトだろうがどこでもjavascriptでドライブされるのが前提である今時のwwwに適合していない。そこで、NoscriptではなくScriptBlockという拡張を入れている。これはもうちょっとマイルドなルールでブロックするか否かを決めているらしく、たいていの場合そういうめんどくさい作業をしなくても済むようになっている。そのルールの詳細がよく分からないのと、あとページのあらゆる要素にdata-ssなんちゃらという属性を嵌めまくるのが若干胃がムカつく。つまるところ、広告をブロックしたい!という要件に対して満足するソリューションを見付けられていないのである。同一ドメイン上のスクリプトは実行を許可する有名所のCDNなんかのスクリプトなんかも許可するブラウジングコンテキストのドメインと異なる場所から読み込まれるスクリプトは明示的に許可されていない限りブロックするくらいのシンプルな拡張があればいいのだけど。シリーズ予約機能は、ブラウザ拡張内のバックグラウンドページでサービスワーカーを登録し、そこでここのサーバからのプッシュ通知を受け取るような構造になっている。ライブラリに任せている。ファミリーであるブラウザ上でのみ動作する。いう謎のブラウザがある。特有の現象に悩まされたことがあったが、どうもえ?そんなところまで手を入れる必要あります?ってくらいいろいろ魔改造されているようだ。上ではサービスワーカーの登録に失敗するのである。登録しようとして失敗している。自身が出力するメッセージのようである。ないとかそんな感じになる。場合はそういう理由とは違うようだ。