ChromeOS/Chrosini で Docker を最新にしたら動かなくなったけど動いた

現象

そもそも動くはずの Android アプリが動かなくなってしまっていたので，Power Wash して，以下のように Docker 開発環境を構築しようとした．

sudo apt-get install \
     apt-transport-https \
     ca-certificates \
     curl \
     gnupg2 \
     software-properties-common
curl -fsSL https://download.docker.com/linux/debian/gpg | sudo apt-key add -

sudo apt-key fingerprint 0EBFCD88

sudo add-apt-repository \
   "deb [arch=amd64] https://download.docker.com/linux/debian \
   $(lsb_release -cs) \
   stable"

sudo apt-get update
sudo apt-get install docker-ce

しかし動かない！

$ docker ps
Cannot connect to the Docker daemon at unix:///var/run/docker.sock. Is the docker daemon running?

解決？

そんなものはすでに困っている人がいて，Redditの議論でも解決を見ていない．
https://www.reddit.com/r/Crostini/comments/9vpm0j/new_docker_errror/
このエラーは新しい Docker でのみ起こり，ロールバックすれば行けるようなことが書いてあった．しかたないので，書いてあるとおりに

sudo apt-get install docker-ce=18.03.1~ce-0~debian

したら動いた．