annotate bin/web2.sh @ 921:02b31a76e2c4 default tip

get DEST from command line
author Jeff Hammel <k0scist@gmail.com>
date Sun, 02 Jun 2024 16:35:01 -0700
parents 372061cd29d7
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
916
82763d37ab09 add web2 convenience script
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
1 #!/usr/bin/env bash
82763d37ab09 add web2 convenience script
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
2
82763d37ab09 add web2 convenience script
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
3 set -euo pipefail
82763d37ab09 add web2 convenience script
Jeff Hammel <k0scist@gmail.com>
parents:
diff changeset
4
917
372061cd29d7 web2 requires sudo for port 80
Jeff Hammel <k0scist@gmail.com>
parents: 916
diff changeset
5 sudo /home/jhammel/web2/bin/paster serve /home/jhammel/web/paster-wsgintegrate.ini