Use correct service name for docker compose.

Author: uhafner

bin/go.sh

@@ -13,7 +13,7 @@ cp -fv target/plugin-util-api.hpi $JENKINS_HOME/plugins/plugin-util-api.jpi
 
 CURRENT_UID="$(id -u):$(id -g)"
 export CURRENT_UID
-IS_RUNNING=$(docker compose ps -q devenv-jenkins)
+IS_RUNNING=$(docker compose ps -q jenkins)
 if [[ "$IS_RUNNING" != "" ]]; then
     docker compose restart
     echo "Restarting Jenkins (docker compose with user ID ${CURRENT_UID}) ..."

bin/skip.sh

@@ -13,7 +13,7 @@ cp -fv target/plugin-util-api.hpi $JENKINS_HOME/plugins/plugin-util-api.jpi
 
 CURRENT_UID="$(id -u):$(id -g)"
 export CURRENT_UID
-IS_RUNNING=$(docker compose ps -q devenv-jenkins)
+IS_RUNNING=$(docker compose ps -q jenkins)
 if [[ "$IS_RUNNING" != "" ]]; then
     docker compose restart
     echo "Restarting Jenkins (docker compose with user ID ${CURRENT_UID}) ..."