[server] Raspberry PiのOS入れ替え

これまで使っていたRasbianがいつの間にかサポート外になっていたので、Ubuntu 24.04に入れ替えた。

入れ替え方法については、Qiitaに書いた。Qiitaは、Markdownで書けるのがいい。仕事でもMarkdown中心なので。

この日記にも、それを転載したいところだが、MarkdownからtDiary的に書き換えるのはめんどくさい。