anchor.diff:      && yum -y clean all \
       && rm -rf /var/cache/yum
   
  -# TODO(cutwater): Create user / group for galaxy?
  -
  -# Install dumb-init or tini
  +# Install tini
   ENV TINI_VERSION v0.16.1
   RUN yum -y install wget \
       && wget -O /usr/local/bin/tini "https://github.com/krallin/tini/releases/download/${TINI_VERSION}/tini" \
  
positive.code: FROM centos:7
  
  ENV PIP_NO_CACHE_DIR off
  
  
negative.code: 
  ENV DJANGO_SETTINGS_MODULE galaxy.settings.production
  
  USER galaxy
  EXPOSE 8000
  
  ENTRYPOINT ["/entrypoint.sh"]
  