| Vladimir Khlyunev | cb02471 | 2022-02-28 19:50:43 +0400 | [diff] [blame^] | 1 | #!/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. |
| 6 | set -e |
| 7 | watchfile="${JENKINS_HOME}/.plugins_for_2.263.4_installed" |
| 8 | if [[ ! -f "${watchfile}" ]] ; then |
| 9 | cp /opt/plugins_files_offline/*.jpi "${JENKINS_HOME}/plugins" |
| 10 | touch "${watchfile}" |
| 11 | fi |