Ubuntu 20.04にDockerをインストール

注意

　単なる自分のためのメモです。

どれをインストールするのか

何があるのか

• Ubuntu公式
• Dockerコミュニティ (https://docs.docker.com/engine/install/ubuntu/ )

の2つがある。

どちらを選ぶのか

　2020/07/25時点では、

　「Ubuntu 20.04 docker install」で検索の結果上位10件では、5:5。

　「Ubuntu 18.04 docker install」で検索の結果上位10件では、2:8で、Dockerコミュニティが優位。

　どちらを選ぶべきかは、とても悩ましい。

VirtualBox利用記録

2020-07-24

  ゲストが起動しない

  * Ubuntu 20.04 on Windows 10: grubまで来ない。リセット等すると、次は起動する。

2020-07-24

  ウィンドウのサイズ調整がおかしい

  * Ubuntu 20.04 on Windows 10: 下と右にスクロールバーが表示され、スクロールバーのサイズ分見えなくなる。

  毎回おかしいわけではない。

Windows利用記録

2020-07-23

  勝手に画面が暗くなる

  * 画面: 勝手に暗くなる。電源管理が競合している気がする。とりあえず、「バランス」というものに切り替えたら明るくなった。

  2週間ほど前だったかと思うが、bios等をアップデートした影響か？

2020-07-23

  ChangeLog形式の調査記録で残しておくべきと感じた事項

  * "Change Logs (GNU Coding Standards)":https://www.gnu.org/prep/standards/html_node/Change-Logs.html
  * "Style of Change Logs (GNU Coding Standards)":https://www.gnu.org/prep/standards/html_node/Style-of-Change-Logs.html#Style-of-Change-Logs
  * これが決定版かも: "ChangeLog の作法 - Backnumbers: Steps to Phantasien":https://bn.dodgson.org/bn/2005/10/13/

2020-07-23

  WiFiが使えない

  * 状況: スリープから復帰するとWiFiが使えなかった。

  * 調査: 不調。再起動で直った。

  * 対応: これを書くことにして、しばらく様子を見る。

2020-07-23

  以下の疑問へのとりあえずのここでの対応

  * 回答: 同じ日に同じユーザが違うタイトルのものを書きたい場合は、分ける。

  つまりこういうことになる。

2020-07-23

  タイトル修正

  * 以下のタイトル: 行頭にtabが入っていなかったので、スペース2個を入れた。

2020-07-23

  ChangeLog形式で記述しようとしたが、形式が分からない

  * 行頭のタブ: 行頭にtabを入れたいのだが入らないので、スペースを2個入れることにした。

  * 1行目: YYYY-MM-DD  [user name]  <mail address>

  * 2行目: [空行]

  * 3行目: [tab]タイトル的なもの

  * 4行目: [空行]

  * 5行目: [tab]* ファイル名 (関数名): 説明(1行目)

  * 6行目: [tab]説明(2行目)
  * 7行目: [tab]* (関数名(ファイル名が同じ場合はファイル名を省略)): 説明
  * 8行目: [tab]* ファイル名 (関数名): 説明
  * 9行目: [空行]
  * 10行目: YYYY-MM-DD  [user name]  <mail address>
  * 11行目: ...

  * 疑問: 同じ日に同じユーザが違うタイトルのものを書きたい場合どうするのかな？

  * 注意: ここでは、ユーザ名とメールアドレスは省略したので、日付のみ。