Write failed: Broken pipeによる切断を防ぐ
サーバにssh接続したあと切断せずに捨ておくとWrite failed: Broken pipeというメッセージが表示されてセッションが切れていることがあった。再度、接続し直すのは手間であるからssh接続の設定を探って切断されぬようにするものである。例えばこういう具合である。 $ vi ~/.ssh/config Host * ServerAliveInterval 30 ServerAliveC … 続きを読む
消灯したコンソール画面を点灯させる
Raspberry Pi 3 Model BOS: Raspbian stretch lite November 2017 Raspbian stretch lite November 2017ではコンソール画面が600秒で消灯するようセットされている。 $ cat /sys/module/kernel/parameters/consoleblank 600 キーボードを接続していないからOS起動 … 続きを読む
systemdでOS起動時にMySQLを自動起動させる
OS: Ubuntu Server 16.04MySQL 5.7.21 ミドルウェアをソースからインストールするとsystemdのユニットファイルが付属しないことが多いように感ずる。MySQLもデフォルトではそうであった。しかし乍ら、cmake実行の際に-DWITH_SYSTEMD=1オプションを付けるとユニットファイルを拵えてくれる。 -DWITH_SYSTEMD=bool Whether to … 続きを読む
コマンドプロンプトでdesktop.iniの表示・非表示を切り替える
OS: Windows 10 version 1709 普段は包み隠されているdesktop.iniファイルをGUI操作で可視化するには フォルーダオプションの「表示」タブを選択 「隠しファイル、隠しフォルダー、または隠しドライブを表示する」を選択 「保護されたオペレーティング システムファイルを表示しない(推奨)」のチェックを外す 警告メッセージに対して「はい」と回答 という手続きを踏む必要があ … 続きを読む
動画ファイルのアイコンをMPC-BEのものに再度関連付けする
OS: Windows 10 version 1709MPC-BE(64bit) 1.5.2 (build 3445) beta 動画の形式ごとにMPC-BEのアイコンが割り当てられていたが、何の拍子か突如として動画ファイルのアイコンがMPC-BEのデフォルトアイコンに統一されてしまい泡を食った。 MPC-BEのデフォルトアイコンはたいへん控えめなデザインであるから、煌びやかな見た目を取り戻すべく … 続きを読む
Raspbianのスワップ領域を拡張する
Raspberry Pi 3 Model BOS: Raspbian stretch lite November 2017MySQL 5.7.21 OSにRaspbianを導入したRaspberry Pi 3でMySQLのビルドをこなしていたら道半ばで打ち切りの憂き目に遭った。エラーメッセージによればcc1plusが殺害されているようである。 $ make (snip) [ 50%] Buildi … 続きを読む