anchor.diff:      chmod +x /usr/local/bin/tini
   
   # Regent kernel configuration files.
  -COPY codemirror/regent /usr/local/lib/python3.4/dist-packages/notebook/static/components/codemirror/mode/
  +COPY codemirror/regent/ /usr/local/lib/python3.4/dist-packages/notebook/static/components/codemirror/mode/
   
   RUN mkdir -p /usr/local/share/jupyter/kernels/regent
   COPY kernels/regent/kernel_plain.json /usr/local/share/jupyter/kernels/regent/kernel.json
  
positive.code: # Configure local files last.
  COPY start-notebook.sh /usr/local/bin/
  COPY jupyter_notebook_config.py static/custom /home/$NB_USER/.jupyter/
  COPY ["notebooks/Getting Started.ipynb", "/home/$NB_USER/notebooks/Getting Started.ipynb"]
  RUN chown -R $NB_USER:users /home/$NB_USER
  
negative.code: 
  ENV NB_USER=jovyan NB_UID=1001
  RUN useradd -m -s /bin/bash -N -u $NB_UID $NB_USER && \
      mkdir /home/$NB_USER/.jupyter && \
      mkdir /home/$NB_USER/.jupyter/custom && \
      chown -R $NB_USER:users /home/$NB_USER
  