J’ai apporté les modifications suivantes au lanceur
echo " --pull-git Tirer le dernier dépôt git"
echo " --pull-image Tirer la dernière image Docker"
pull_git=false
pull_image=false
rebuild)
if [ "$(git symbolic-ref --short HEAD)" = "master" ] && [ "$pull_git" = true ]; then
git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a
fi
....
Avec cela, je suis capable d’éviter de mettre à jour à chaque fois que je fais le rebuild. Cela permet d’installer le plugin.