From 85cd6b6355975f748d5a28e001326ef13dec129f Mon Sep 17 00:00:00 2001 From: Philippe PITTOLI Date: Sat, 26 Oct 2019 13:09:39 +0200 Subject: [PATCH] pg_create_user script: user and db deletion --- utils/pg_create_user.sh | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/utils/pg_create_user.sh b/utils/pg_create_user.sh index d91c01d..2ee003c 100755 --- a/utils/pg_create_user.sh +++ b/utils/pg_create_user.sh @@ -29,6 +29,7 @@ command: create_user create_db create_user_and_db + delete_user_and_db END } @@ -47,6 +48,19 @@ function create_user() { " } +function print_delete_user() { + cat <