anchor.diff:          sqlite3                     \
           sudo                        \
           vim                         \
  -        wget
  +        wget                        \
  +        zsh
   
   # install mysql
   RUN wget -O /tmp/RPM-GPG-KEY-mysql https://repo.mysql.com/RPM-GPG-KEY-mysql
  
positive.code: ENV HOST_GID $HOST_GID
  
  RUN groupadd -g $HOST_UID ithemal && \
      useradd -m -r -u $HOST_GID -g ithemal ithemal
  
  USER ithemal
  WORKDIR /home/ithemal
  
negative.code: 
  RUN curl -sL https://github.com/DynamoRIO/dynamorio/releases/download/release_7_0_0_rc1/DynamoRIO-Linux-7.0.0-RC1.tar.gz | tar xz
  
  RUN touch /home/ithemal/.zshrc
  RUN bash -lc 'source activate ithemal; jupyter notebook --generate-config'
  RUN echo 'source activate ithemal' >> /home/ithemal/.bashrc
  