anchor.diff:  ENV HOST_GID $HOST_GID
   
   RUN groupadd -g $HOST_UID ithemal && \
  -    useradd -m -r -u $HOST_GID -g ithemal ithemal
  +    useradd -m -r -u $HOST_GID -g ithemal -s /bin/zsh ithemal
   
   USER ithemal
   WORKDIR /home/ithemal
  
positive.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 bash -lc 'source activate ithemal; jupyter notebook --generate-config'
  RUN echo 'source activate ithemal' >> /home/ithemal/.bashrc
  
negative.code:         sqlite3                     \
          sudo                        \
          vim                         \
          wget                        \
          zsh
  
  # install mysql
  RUN wget -O /tmp/RPM-GPG-KEY-mysql https://repo.mysql.com/RPM-GPG-KEY-mysql
  