diff --git a/RebuildBdd/rebuild-bdd-core.sh b/RebuildBdd/rebuild-bdd-core.sh index 0b49c7c..fc80f98 100755 --- a/RebuildBdd/rebuild-bdd-core.sh +++ b/RebuildBdd/rebuild-bdd-core.sh @@ -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" \