anchor.diff:  # General:  JENKINS_ENV_HOST_IP_CMD='ip route | grep default | awk '"'"'{print $3}'"'"''
   ####################################################################################
   
  +# If sshd enabled, this will be the port
  +EXPOSE 16022
  
positive.code: 
  COPY update-config.sh /usr/bin/
  
  # Separate between JENKINS_HOME and WORKSPACE dir. Best if we use NFS for JENKINS_HOME 
  RUN mkdir -p /jenkins-workspace-home && \
      chown -R jenkins:jenkins /jenkins-workspace-home
  
  
negative.code: ENV JENKINS_ENV_EXECUTERS=0
  # If true, then workspaceDir will changed its defaults from ${JENKINS_HOME}/workspace
  # to /jenkins-workspace-home/workspace/${ITEM_FULLNAME}
  # This is useful in case your JENKINS_HOME is mapped to NFS mount,
  # slowing down the workspace
  ENV JENKINS_ENV_CHANGE_WORKSPACE_DIR=true
  ####################################################################################
  