Memo

　ファイルマネージャからアクセスすればいいのですが、自動でマウントして作業し、終了時にアンマウントするような場合、コマンドラインからマウントできると便利です。

　mount コマンドで、ファイルシステムに cifs を指定 ...

　簡単な計算なら、expr コマンドでできますが、小数が使えなかったり、sin の計算もやりたかったりします。そのような時は、bc コマンドを使います。

$ bc -lbc 1.07.1Copyright 1991-1994, ...

　Raspberry Pi OS のデスクトップ版で、デスクトップへ自動ログインしています。この時、デスクトップでアプリケーションを自動で動かすにはどうすればいいか調べました。

~/.config/lxsession/LXDE- ...

　HTML で数式の表現は難しいので、数式を画像として作成することにしました。TeX の数式が美しいので、TeX をベースに作りたいと思います。

　手順としては、以下のようになります。

エディタを使って LaTeX ...

　間違って、録画データを消してしまいました。まあ、諦めても良かったのですが、復元の方法を調べました。

プロセスが使用中のファイル

　何かのプログラムが、そのファイルを使用（オープン）している間は、使用中に削除しても表面上削除 ...

　アニメーション GIF の作成方法はいろいろありますが、ffmpeg でも作れるので連番静止画から作ってみました。

　連番静止画は、image_000.bmp 〜 image_059.bmp があるとします。はじめのフレ ...

　vim で文字列を検索するときに、表示できない文字を検索する場合は、バイナリで検索することができます。

　例えば、 0x81 のバイナリを検索するには、/\%x81 とします。置き換えなどでも使えます。

　Raspberry Pi OS のデスクトップ環境で、タスクバーのメニューに個人用の項目を追加するには ~/.local/share/applications にデスクトップエントリを追加すればいいです。デスクトップエントリでカテゴ ...

$ cat/sys/class/thermal/thermal_zone0/temp65528

　ただし、1000 倍の数値で表示されます。

　video グループのメンバなら、vcgencmd が使えるので、以下のコマンド ...

　内部で使うなら、空いている番号であれば、基本的にどのポートを使ってもいいですが、外部に公開するなら、IANA が、http-alt として定義しています。

　591, 8008, 8080 番ポートが http の代替え ...