Raspberry Pi (Raspbian Buster) にDockerをインストールする

0. 参考文献

正式手順書

https://docs.docker.com/install/linux/docker-ce/debian/ の「Install from a package」

その他参考: Proxy環境でのいろいろ

proxyを設定する
sudo でも効かせる
DockerfileのFROMに効かせる設定
Dockerfile内のコマンドに効かせる

1. 環境

HW: Raspberry Pi 4
OS: Raspbian Buster Lite (2019-07-10)

２. debファイル群のダウンロード

https://download.docker.com/linux/debian/dists/ を開き、
[buster -> pool -> stable -> armhf] (https://download.docker.com/linux/debian/dists/buster/pool/stable/armhf/
) とたどる

最新版（リリース日: 2019-06-27 19:28:10）だとうまく動かない現象があったので、
リリース日: 2019-03-28 05:03:09で揃えてダウンロードしてみる

以下をダウンロード
containerd.io_1.2.5-1_armhf.deb (2019-03-28 05:03:09)
docker-ce-cli_18.09.4~3-0~debian-buster_armhf.deb (2019-03-28 05:03:09)
docker-ce_18.09.4~3-0~debian-buster_armhf.deb (2019-03-28 05:03:09)

３. インストール

以下の順番でインストール(最初と2番目は順番関係なし。最後は必ず最後)
$ sudo dpkg -i containerd.io_1.2.5-1_armhf.deb
↓
$ sudo dpkg -i docker-ce-cli_18.09.4~3-0~debian-buster_armhf.deb
↓
$ sudo dpkg -i docker-ce_18.09.4~3-0~debian-buster_armhf.deb

4. 確認

「"docker --version"は動いた」、「"docker ps"は動かない」なんてことがあるので、両方試す。

$ sudo docker --version  
Docker version 18.09.4, build d14af54
$ sudo docker ps  
CONTAINER ID        IMAGE               COMMAND             CREATED             STATUS              PORTS               NAMES

以上