anchor.diff:    texinfo \
     zip
   
  -RUN DEBIAN_FRONTEND=noninteractive apt-get remove -y nodejs
  -
   USER root
   # SSH login fix so user isn't kicked after login
   RUN sed 's#session\s*required\s*pam_loginuid.so#session optional pam_loginuid.so#g' -i /etc/pam.d/sshd
  
positive.code: COPY sudoers_silk /etc/sudoers.d/silk
  
  USER silk
  RUN ccache -M 6GB
  
  RUN ssh-keygen -q -N "" -t rsa -f /home/silk/.ssh/id_rsa
  RUN cp /home/silk/.ssh/id_rsa.pub /home/silk/.ssh/authorized_keys
  
negative.code: RUN add-apt-repository -y ppa:ubuntu-toolchain-r/ppa
  RUN apt-get update
  RUN apt-get install -y libcv-dev libcvaux-dev libhighgui-dev libopencv-dev
  
  ENV JAVA_HOME /usr
  RUN echo 'PATH=$PATH:HOME/bin:$JAVA_HOME/bin' >> /etc/profile &&\
  