reset.sh 246 B

12345678910111213141516171819
  1. #!/bin/bash
  2. set -e
  3. if [ "$#" -ne 1 ]
  4. then
  5. echo "Usage: $0 USER"
  6. exit 1
  7. fi
  8. psql << EOF
  9. DROP DATABASE $1_mint;
  10. CREATE DATABASE $1_mint WITH ENCODING = 'UTF8';
  11. GRANT ALL PRIVILEGES ON DATABASE $1_mint TO $1;
  12. EOF
  13. echo "done($1)."
  14. exit 0