-
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 サーバの指定
ホスト名の設定..."