Linux Docker : 18.09 から dockerd の起動が失敗するようになった 概要 Docker CE を 18.09 にアップデートしたところ、dockerd daemon の起動が失敗するようになった。 起動オプションの -H fd:// が仕様変更で削除されたことがその原因。 環境 Raspbian Strec... 2018.11.28 LinuxRaspberry Pi
Linux micro: 勝手に () を閉じる機能 (オートクローズ) をオフにする 概要 標準では { ( " ' が入力される。 テキストの新規作成時にはいいかもしれないが、変更時にはかなり邪魔で削除するのがかなりのストレスになる。 config を眺めているとその機能をオフにする設定を見つけたので、記しておく。 環境 ... 2018.11.12 LinuxRaspberry Pi
Linux [micro] nano 風のキーメニューを表示する 概要 最下段に nano 風のショットカットキーメニューを表示する。 環境 Debian Strech or Raspberry Pi + Raspbian micro 1.4.1 手順 ALT+G で ON /OFF。 デフォルトで表示す... 2018.10.28 LinuxRaspberry Pi
Linux [micro] micro のインストール 概要 ターミナル経由で使えるエディタとして今までは nano を使っていたが、もう少し高機能なものを探していて micro を使ってみたら、かなり満足するものだったので紹介する。 __ __ _ ___ _ _ _ _ _ | \/ (_)... 2018.10.28 LinuxRaspberry Pi
Linux micro : マウスを無効にする 概要 micro はデフォルトでマウス操作でのコピー&ペーストなどが可能になっている。 ターミナル経由で micro を利用する場合は、ターミナルソフト上のマウス操作によるコピー&ペーストを使いたいケースが多いが micro の機能が優先さ... 2018.10.28 LinuxWindows
Linux [micro] RLogin から利用する場合に、Shift + カーソルキーを有効にする 概要 RLogin 経由で micro を利用した場合、Shift + カーソルキーによる選択が出来ない。 RLogin のキーコードの設定を変更することで、利用可能にする。 環境 Windows 10 Pro RLogin 2.22.6 ... 2018.10.28 LinuxWindows
Linux [Raspberry Pi] webmin をインストール (dpkg ver.) 環境 Raspberry Pi 3 Raspbian Strech Webmin 1.890 インストール dpkg apt でインストールするより、こちらの方が簡単。 $ wget $ sudo dpkg --install webmin... 2018.10.25 LinuxRaspberry Pi