Das Docker-Paket bereits in Ubuntu heißt docker.io [1] also mach einfach
sudo apt-get install docker.io
Aber wenn Folgen Sie diesem Link, den Sie angegeben haben, und führen Sie die Schritte 7, 8, 9 aus. Dann weiß Ihre Installation über das Paket im Docker-Repo Bescheid und findet auch docker-engine .
Ihr Anruf. Ich verwende die Ubuntu-Version (derzeit 0.11.2 auf Ubuntu 16.04) auf einigen Maschinen und die von Docker auf anderen (da ich neugierig auf einige 0.12-Funktionen war). Beides wird gut funktionieren.
[1] Als docker wird für das Andocken von Symbolen einer Desktop-Launcher-Anwendung verwendet.