mixiからの日記のリンクを自分のサイトに変えてみた。
以前は、RSSで更新を見ると結構遅延があったのと、今は割とmixiの全体的な
活発さがなくなってきた感じがするので、いっそのこと移すことにした。
とはいっても、今までもずっと両方に同じ内容を投稿するスクリプトを
使っていたので特に面倒とかそういうこともない。
ただ、気になるのは携帯電話で見たりする人だと、こういうのって
見づらいのかもなぁ。。。まぁ、顕著になってきた考えることにしよう。
aarch64なUbuntuでlibncurses5を導入する (2024/12/31 14:41)
U-Bootのwgetコマンドへの不具合修正パッチを投稿してみた (2024/04/20 09:04)
Raspberry Pi 4Bでは、Raspberry Pi OSとmainlineのLinux Kernelでserial0, serial1の割当が違う (2023/10/15 17:28)
最新の Linux Kernel を各環境でビルドして動かしてみる(2023/8/6) (2023/08/06 17:01)
OpenOCDを使ってVisionFive2のJTAGデバッグ (2023/08/05 16:13)