feature/deploy-system #2

Merged
ljp merged 15 commits from feature/deploy-system into main 2025-09-11 17:56:21 +02:00
Showing only changes of commit 034018de87 - Show all commits
+1 -1
View File
@@ -55,7 +55,7 @@ select_server() {
local servers=("web" "mx" "logger" "support") local servers=("web" "mx" "logger" "support")
local server local server
select server in "${servers[@]}" >&2; do select server in "${servers[@]}"; do
[[ -n "$server" ]] || { echo "Ungültige Auswahl" >&2; continue; } [[ -n "$server" ]] || { echo "Ungültige Auswahl" >&2; continue; }
case "$server" in case "$server" in