Trixieのインストール
やはり新しい新しいkicadを使う必要性が出てきたので，メインのOSをDebian 13に更新した．インストールしたらgrubが立ち上がらなくなって少し苦労したが，インストールし直して，無事に動くようになった．/homeフォルダはOSとは別のパーティションにしているので，dataはそのまま使えるので，それほど苦労せずに環境を移行できる．kicadもversion 9.0となった．小さなトラブルとしては，pdfで文字化けが起こった．pdffontsで使っているフォントを調べて，結局はfonts-takanoをインストールしたらほぼ解消した．texはサイズが大きいので，帰るときにインストールしようと思う．