feat/script-redéploiement-BDD-utilisable-interface-web #13

Merged
Matteo merged 33 commits from feat/script-redéploiement-BDD-utilisable-interface-web into develop 2026-03-18 10:49:52 +00:00
Showing only changes of commit 122f53f804 - Show all commits

View File

@@ -122,10 +122,10 @@ copy_file_to_remote_via_ssh() {
test -w $(shell_quote "$remote_parent")
" >/dev/null 2>&1 || fail "dossier distant absent ou non inscriptible : $remote_parent"
cat "$local_file" | ssh "${SSH_OPTS[@]}" "$REMOTE" "
ssh "${SSH_OPTS[@]}" "$REMOTE" "
set -euo pipefail
cat > $(shell_quote "$remote_tmp")
" >/dev/null 2>&1 || fail "échec de copie distante via SSH vers ${remote_tmp}"
" < "$local_file" >/dev/null 2>&1 || fail "échec d'écriture temporaire distante : $remote_tmp"
ssh "${SSH_OPTS[@]}" "$REMOTE" "
set -euo pipefail