@ 260802.2

200426.5 · 481b64a667e8d9aca522a0455a00f32dac1f4977

initial commit of ~/bin

This brings over everything that was in my bin-only repository.

I removed scripts that were unused or were no longer understood. I also moved any work-specific scripts to a separate (private) repository.

reading declarations

Changes to bin/psql-kill. All files

bin/psql-kill

new file mode 100755@@ -0,0 +1,15 @@+#!/bin/sh++set -e++if [ $# != 1 ]; then+  echo "Usage: $(basename $0) db-name" >&2+  exit 1+fi++dbname="$1"+psql "$dbname" -c '+  SELECT pg_terminate_backend(pg_stat_activity.pid)+  FROM pg_stat_activity+  WHERE datname = '"'$dbname'"' AND pid != pg_backend_pid();+'