12345678910111213141516171819 |
- #!/usr/bin/env bash -e
- #
- # Used to generate epgsql_errcodes.erl
- #
- ERRFILE="https://raw.github.com/postgres/postgres/master/src/backend/utils/errcodes.txt"
- echo "%% DO NOT EDIT - AUTOGENERATED ON $(date)"
- echo "-module(epgsql_errcodes)."
- echo "-export([to_name/1])."
- echo
- wget -qO- "$ERRFILE" | awk '
- NF == 4 && \
- $1 ~ /[^\s]{5}/ && \
- $2 ~ /[EWS]/ \
- {
- printf("to_name(<<\"%s\">>) -> %s;\n", $1, $4)
- }
- END {
- print "to_name(_) -> undefined."
- }'
|