blob: cc46fafdb7467f31dd48c33a81f8db60dde08d12 [file] [log] [blame]
Vladimir Khlyunevcb024712022-02-28 19:50:43 +04001#!/bin/bash
2
3# Copy plugins .jpi files from /opt/plugins_files_offline to $JENKINS_HOME/plugins
4# at first boot after upgrading docker. This script should be executed before starting up jenkins.
5# The script will watch "$JENKINS_HOME/.plugins_for_X.XXX.X_installed" file existence.
6set -e
Vladimir Khlyunev2223b662023-10-03 04:10:40 +04007watchfile="${JENKINS_HOME}/.plugins_for_2.414.2_installed"
Vladimir Khlyunevbe0803b2022-04-18 15:58:15 +04008
9test -d "${JENKINS_HOME}/plugins" || mkdir -p "${JENKINS_HOME}/plugins"
10
Vladimir Khlyunevcb024712022-02-28 19:50:43 +040011if [[ ! -f "${watchfile}" ]] ; then
12 cp /opt/plugins_files_offline/*.jpi "${JENKINS_HOME}/plugins"
13 touch "${watchfile}"
14fi