|
@@ -0,0 +1,22 @@
|
|
|
|
+#!/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."
|
|
|
|
+}'
|