2 ### begin docker install ####
4 # https://store.docker.com/editions/community/docker-ce-server-debian?tab=description
5 pi software-properties-common apt-transport-https
6 curl -fsSL https://download.docker.com/linux/$(distro-name-compat)/gpg | sudo apt-key add -
7 url=https://download.docker.com/linux/$(distro-name-compat)
8 l="deb [arch=amd64] $url $codename_compat stable"
10 if ! grep -xFq "$l" /etc/apt/sources.list{,.d/*.list}; then
11 sudo add-apt-repository "$l"
14 # docker eats up a fair amount of cpu when doing nothing, so don't enable it unless
17 # and docker is even more crap, it ignores that it shouldnt start
24 ### end docker install ####