Re: Docker

[Geert Stappers]

On Sun, Oct 14, 2018 at 10:48:10PM +0200, Geert Stappers wrote:
> On Sun, Oct 14, 2018 at 09:57:32PM +0200, Cecil Westerhof wrote:
> > Ik wil met Docker spelen. Het lijkt erop dat dit apart moet worden
> > geïnstalleerd. Ik kwam het volgende tegen:
> >     https://linuxhint.com/install_docker_debian_9/
> > 
> > Is dit de correcte manier, of kan ik het beter anders doen?
> 
> Jawel:    sudo apt install docker
 
Nieuw inzicht:  sudo apt install docker.io