We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 10766cb commit 14289a3Copy full SHA for 14289a3
docker_install.sh
@@ -190,6 +190,14 @@ if [ ! -f "$install_conf" ]; then
190
exit 1
191
fi
192
193
+repo_root="$(pwd)"
194
+if [[ "$install_conf" = /* ]] && [[ "$install_conf" != "$repo_root/"* ]]; then
195
+ install_conf_copy="conf/docker_runtime_settings.txt"
196
+ echo "Copying $install_conf into repository as $install_conf_copy for Docker build/runtime."
197
+ cp "$install_conf" "$install_conf_copy"
198
+ install_conf="$install_conf_copy"
199
+fi
200
+
201
service_exists() {
202
docker compose -f "$compose_file" ps --services 2>/dev/null | grep -Fxq "$1"
203
}
0 commit comments