reset.sh 207 B

123456789101112131415161718
  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' OWNER $1;
  11. EOF
  12. echo "done($1)."
  13. exit 0