めもなど

radiko の放送局一覧を作った Oct 4, 2020
radiko の放送局の ID 一覧が欲しかったので一覧を作成した。ちょっと遠くに持ち出した影響か、しばらく前から外部接続の IP アドレスが安定しない。そうすると radiko に東京リ..."
DHCP で配られる以外の DNS サーバを登録する Oct 4, 2020
諸般の事情で常時稼働のサーバに登録しておく DNS サーバを DHCP で配る以外にも登録しておきたかった。ところが情報がなかなか見つからない。しばらく寝かせておいたけど、解決できたので..."
Tera Term で scp を使う Aug 5, 2020
Tera Term で、 scp でファイルを取得するスクリプトを作った。途中、色々引っかかったのでその記録。また、それに対する変更の要望など。背景環境結果引っか..."
Raspberry Pi のバックアップ Jan 3, 2020
Raspberry Pi を常時稼働させている。これのバックアップか取りずらい。 Debian なので時々アップデートするし、なんならカーネルの入れ替えもする。つまり、結構頻繁に書き込みが発..."
mp3 ファイルへの変換が 90 分で止まる（解決？編） Sep 20, 2018
前回の続き。簡単なまとめその後の進展同じ問題を扱っているサイトを見つけた変換できないファイルが（むしろ）多いで、考えた ..."
Raspberry Pi のカーネル構築 Sep 13, 2017
Raspberry Pi でなんだかんだしていて、カーネルをコンパイルする事にした。大きな理由は 2 つ。NIC のドライバのコンパイルにカーネルのヘッダ類が必要なこと。もう一つは、nfta..."
sudo を使う Jun 22, 2017
sudo って便利。今更ながら気づいて、転向した。と、言っても sudo 単体ではそれ程便利な訳じゃない。実例環境設定感想、または言い訳実例何が便利なの..."
Raspberry Pi の設定 May 11, 2017
Raspberry Pi に Debian をインストールできたので、いろいろ設定していく。そのメモ。なぜ Debian か Debian サーバの指定ホスト名の設定..."

(more...)