Docker installation script

install_docker.sh

# installs the latest version of docker-stable and edge
# from https://docs.docker.com/engine/installation/linux/docker-ce/ubuntu/#install-using-the-repository
# TODO: enable optional installation of specific versions

sudo apt-get remove docker docker-engine docker.io
sudo apt-get update
sudo apt-get install linux-image-extra-$(uname -r) linux-image-extra-virtual
sudo apt-get install apt-transport-https ca-certificates curl software-properties-common
curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo apt-key add -

# TODO: verify that the key is 9DC8 5822 9FC7 DD38 854A E2D8 8D81 803C 0EBF CD88
sudo apt-key fingerprint 0EBFCD88

sudo add-apt-repository \
   "deb [arch=amd64] https://download.docker.com/linux/ubuntu \
   $(lsb_release -cs) \
   stable edge"
sudo apt-get update
sudo apt-get install docker-ce