systemd 以前の"古い"Linuxでは、テンポラリディレクトリといえば /tmp で、環境変数 $TMPDIR が /tmp を指していました。systemd 以降の今どきのLinuxは、テンポラリディレクトリは /run/user/$UID であり、環境変数 $XDG_RUNTIME_DIR が/run/user/$UIDを指…

Linuxで音声出力デバイスを環境変数で切り替える方法 概要 環境変数 PULSE_SINK を使うと，音声出力デバイスをかんたんに切り替えることができるたとえば $ PULSE_SINK=<出力デバイスの番号> <コマンド> とすると，コマンド単位で出力先を変更できる．出力デ…

root権限ではなくて，一般ユーザ権限で systemd のサービスを登録＆稼働させる方法です サービスの登録 systemdのサービスは「ユニットファイル」と呼ばれる設定ファイルに記述します． ユーザ権限で起動するサービスは ~/.config/systemd/user/ ディレクト…

ubuntu やmacOSでは，ターミナルで $ open hogehoge.pdf とコマンドを実行すると，pdfのビューアーが起動して pdfを表示できます． $ open http://www.google.com とコマンドを実行すると，ブラウザが起動して URLを開いてくれます．この設定を変更する方法…

jupyter notebook の出力は pdf 形式で保存できますその方法は，画面左上の「メニュー」の「名前を付けてダウンロード」から「PDF via LaTeX (.pdf)」を選ぶだけ．ただし，この機能が正常に動作するためには LaTeX がインストールされていること 日本語用に…

動画編集に便利な ffmpeg でよく使うワンライナーをまとめます．このエントリは今後も随時更新する予定です． ffmpeg の基本 動画を MP4形式に変換する $ ffmpeg -i 入力動画のファイル名 出力動画.mp4 入力は "-i 入力ファイル名"で指定します．ファイル形…

Linux カーネルのソースコードを読んだのでメモを公開します．Linuxカーネルを読む際の参考になれば幸いです. 今回のお題: dmesg コマンド 今回は dmesg コマンドに関係する部分を読みました．printkや /dev/kmsg 等が関係する部分です．ソースコードのバー…

debian や ubuntu の deb パッケージのメンテナンス(パッチの管理)で使う quilt コマンドの利用方法をまとめますdebパッケージのメンテナンスをしていると，以下の様なエラーが出る場合があります Applying patch 04_hyphen-manpage.diff patching file docs…

$ sudo apt-get upgrade : dpkg: warning: 'ldconfig' not found in PATH or not executable. dpkg: warning: 'start-stop-daemon' not found in PATH or not executable. dpkg: error: 2 expected programs not found in PATH or not executable. のように …