docker.md

Docker

• For Ubuntu, want to install docker-ce ("Community edition") rather than docker.io (a now-out-of-date version)

  The instructions are here.

• To install docker for minecraft, I changed to the directory containing the Dockerfile` in the miner package installation, and then followed the instructions in the miner book.

  cd ~/Rlibs/miner/Dockerfile .
  sudo docker build -t minecraft .
  

• To view the IP address of a docker container, type:

  ip addr show
  

  Look for lines following "docker"