#!/bin/bash

# Copy plugins .jpi files from /opt/plugins_files_offline to $JENKINS_HOME/plugins
# at first boot after upgrading docker. This script should be executed before starting up jenkins.
# The script will watch "$JENKINS_HOME/.plugins_for_X.XXX.X_installed" file existence.
set -e
watchfile="${JENKINS_HOME}/.plugins_for_2.263.4_installed"
if [[ ! -f "${watchfile}" ]] ; then
  cp /opt/plugins_files_offline/*.jpi "${JENKINS_HOME}/plugins"
  touch "${watchfile}"
fi