anchor.diff:  Perform a container build as follows:
   
   ....
  +cd $CCPROOT
   make setup
   make all
   ....
  
positive.code: Remember to log out of the *someuser* account for the docker group
  to be added to your current session.  Adding *docker* group to your
  user account allows you to run docker commands from your user account.
  
  Before you start docker, you might consider configuring docker storage:
  This is described if you run:
  
negative.code: man docker-storage-setup
  ....
  
  Next, we enable and start up docker:
  ....
  sudo systemctl enable docker.service
  sudo systemctl start docker.service
  