Add a new graphdb user automatically

This commit is contained in:
Tom Wiesing 2020-06-14 16:37:42 +02:00
parent f22e658183
commit 30ca61c05f
No known key found for this signature in database
GPG key ID: DC1F29F2BC78AB15
5 changed files with 60 additions and 7 deletions

View file

@ -29,6 +29,10 @@ mysql -e "FLUSH PRIVILEGES;"
log_info " => Deleting GraphDB repository '$GRAPHDB_REPO'"
curl -X DELETE http://127.0.0.1:7200/rest/repositories/$GRAPHDB_REPO/
log_info " => Deleting GraphDB user '$GRAPHDB_USER'"
curl -X DELETE http://127.0.0.1:7200/rest/security/user/$GRAPHDB_USER/
log_info " => Deleting system user and group '$SYSTEM_USER'"
deluser "$SYSTEM_USER" || true
delgroup "$SYSTEM_USER" || true