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 66abdfca53 - Show all commits

View File

@@ -409,6 +409,10 @@ if [[ -n "$LOCAL_ROLES_FILE" ]]; then
cp "$LOCAL_ROLES_FILE" "$FILTERED_ROLES_FILE"
fi
# Une exécution sous un rôle non superuser ne peut pas restaurer l'attribut
# SUPERUSER ; on ignore donc ces lignes pour laisser passer le reste.
sed -i -E '/^ALTER ROLE .* (NO)?SUPERUSER\b/d' "$FILTERED_ROLES_FILE"
log "Fichier des rôles filtré généré : ${FILTERED_ROLES_FILE}"
sed -nE 's/^CREATE ROLE "?([^" ;]+)"?;$/\1/p' "$FILTERED_ROLES_FILE" \