У меня есть следующий файл Docker с jenkins
в качестве базового изображения:
FROM jenkins
USER root
ENV JENKINS_MIRROR http://mirrors.jenkins-ci.org
RUN for plugin in git-client git ws-cleanup ; do wget -O $JENKINS_HOME/plugins/${plugin}.hpi $JENKINS_MIRROR/plugins/${plugin}/latest/${plugin}.hpi ; done
EXPOSE 8080
Я пытаюсь установить некоторые дополнительные плагины, но это дает мне ошибку, говоря no such file or directory
Затем я начал и подключился к контейнеру этого шага сборки, чтобы "отладить" ошибку:
Однако я не мог узнать причину, потому что каждый каталог, похоже, существует. Кроме того, если я запускаю цикл for вручную вручную в bash, все плагины установлены правильно...
Я также заметил, что установка плагинов работает, если я устанавливаю их в корневой каталог следующим образом:
RUN for plugin in git-client git ws-cleanup ; do wget -O ${plugin}.hpi $JENKINS_MIRROR/plugins/${plugin}/latest/${plugin}.hpi ; done
Однако это неправильное место, поскольку они должны быть помещены в каталог $JENKINS_HOME/plugins
Почему я не могу установить плагины в $JENKINS_HOME/plugins
?