anchor.diff:  ARG USER=user
   ARG UID=1000
   ARG GID=100
  +ARG TINI=v0.18.0
   
   # Update path with toolchains
   ENV PATH=${PATH}:/opt/bin
  
positive.code:     chmod 0440 /etc/sudoers && \
      chmod g+w /etc/passwd && \
      usermod -aG dialout $USER && \
      mkdir $WORK && \
      # Configure prompt
      echo 'PS1="\u@\h:\W$ "' >> ${HOME}/.bashrc && \
  
negative.code: ENV WORK                ${HOME}/work
  ENV                     TERM="xterm-color"
  
  # Add local files as late as possible to avoid cache busting
  ADD https://github.com/krallin/tini/releases/download/${TINI}/tini-i386 /sbin/tini
  
  # Create user, enable X forwarding, add to group dialout
  # -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix
  RUN useradd -m -s /bin/bash -N -u $UID $USER && \
  