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