# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1717120619 25200
# Node ID 82763d37ab09e9432545d8065f70f3b53afd4235
# Parent  0bb00763f6d2f7328785a8533e7b1b7b57593fa1
add web2 convenience script

diff -r 0bb00763f6d2 -r 82763d37ab09 bin/web2.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/web2.sh	Thu May 30 18:56:59 2024 -0700
@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+/home/jhammel/web2/bin/paster serve /home/jhammel/web/paster-wsgintegrate.ini