Skip to content

Update Dockerfile

A few changes:

  1. apt-get command updated to follow Docker best practices
  2. Move the copying of source files to later layers of the Dockerfile since they are more likely to change more often (and thus avoid rerunning of apt-get commands)
  3. Add comments to clarify how to modify the file from the student POV

Merge request reports