#!/usr/bin/env bash # # Used to generate epgsql_errcodes.erl # ERRFILE="https://raw.githubusercontent.com/postgres/postgres/master/src/backend/utils/errcodes.txt" echo "%% DO NOT EDIT - AUTOGENERATED BY $0 ON $(date +%Y-%m-%dT%H:%M:%S%z)" echo "-module(epgsql_errcodes)." echo "-export([to_name/1])." echo wget -qO- "$ERRFILE" | awk ' NF == 4 && \ $1 ~ /[0-9A_Z]+/ && \ $2 ~ /[EWS]/ \ { printf("to_name(<<\"%s\">>) -> %s;\n", $1, $4) } END { print "to_name(_) -> undefined." }'