anchor.diff:  # redefine env for my_init
   RUN mkdir -p /etc/container_environment && echo "/home/ursim" > /etc/container_environment/HOME \
       && echo "ursim"  > /etc/container_environment/USER  \
  -    && echo "JAVA_HOME=\"/usr/lib/jvm/java-6-openjdk-amd64/jre/bin/java\"" >> /etc/container_environment/JAVA_HOME
  +    && echo "JAVA_HOME=\"/usr/lib/jvm/java-6-openjdk-amd64/jre/bin/java\"" >> /etc/container_environment/JAVA_HOME \
  +    && echo "PATH=\"/opt/ursim/ursimpkg:$PATH\"" >> /etc/container_environment/PATH
  +
  +
  +# /sbin/my_init should be launched by root user
  +ENTRYPOINT ["/sbin/my_init", "--"]
   
   # switch to user ursim, but the HOME is still /, not /home/ursim
   USER ursim
  
positive.code: WORKDIR /home/ursim
  
  CMD ["bash", "-c", "/opt/ursim/ursimpkg/start-ursim.sh"]
  ENTRYPOINT ["/sbin/my_init", "--"]
  
negative.code: 
  # install ursim
  COPY scripts/install_ursim.sh /opt/ursim/
  RUN chmod -R a+rx /opt/ursim && /opt/ursim/install_ursim.sh "/opt/ursim/"  "ursim"  && rm -f /opt/ursim/install_ursim.sh && chmod -R a+rx /opt/ursim
  
  COPY scripts/my_init   /sbin/my_init
  RUN chmod +x /sbin/my_init
  