Skip to content

Commit

Permalink
Use correct service name for docker compose.
Browse files Browse the repository at this point in the history
  • Loading branch information
uhafner committed Aug 10, 2024
1 parent 37eecce commit 2408da7
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion bin/go.sh
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ cp -fv target/font-awesome-api.hpi $JENKINS_HOME/plugins/font-awesome-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}) ..."
Expand Down
2 changes: 1 addition & 1 deletion bin/skip.sh
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ cp -fv target/font-awesome-api.hpi $JENKINS_HOME/plugins/font-awesome-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}) ..."
Expand Down
2 changes: 1 addition & 1 deletion go.sh
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ cp -fv target/font-awesome-api.hpi $JENKINS_HOME/plugins/font-awesome-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}) ..."
Expand Down

0 comments on commit 2408da7

Please sign in to comment.