### begin docker install ####
if isdeb; then
  # https://store.docker.com/editions/community/docker-ce-server-debian?tab=description
  pi  software-properties-common apt-transport-https
  curl -fsSL https://download.docker.com/linux/$(distro-name-compat)/gpg | sudo apt-key add -
  url=https://download.docker.com/linux/$(distro-name-compat)
  l="deb [arch=amd64] $url $codename_compat stable"

  if ! grep -xFq "$l" /etc/apt/sources.list{,.d/*.list}; then
    sudo add-apt-repository "$l"
    p update
  fi
  # docker eats up a fair amount of cpu when doing nothing, so don't enable it unless
  # we really need it.
  pi-nostart docker-ce
  # and docker is even more crap, it ignores that it shouldnt start
  ser stop docker
  ser disable docker
  case $HOSTNAME in
    li|lj)  sgo docker ;;
  esac
fi
###  end docker install ####