CI + Dev-Workspace: disable automatic rollout and setup new Workspace #145

Merged
mg merged 73 commits from image into master 2024-07-30 20:58:25 +02:00
Showing only changes of commit b8a938c5dc - Show all commits

View file

@ -26,7 +26,6 @@ docker pull --quiet ${IMAGE}
docker run -it \ docker run -it \
-v $PWD:/ansible-homeserver \ -v $PWD:/ansible-homeserver \
-w /ansible-homeserver ${IMAGE} \ -w /ansible-homeserver ${IMAGE} \
/bin/bash -c "git config --global --add safe.directory /ansible-homeserver && /bin/bash && source /usr/lib/git-core/git-sh-prompt " /bin/bash -c "git config --global --add safe.directory /ansible-homeserver && /bin/bash"
# explizites sourc notwendig, Pfad kann mit "dpkg-query -L git | grep pro" gefunden werden
# todo shellcheck # todo shellcheck