Commit 4216f9fb7b5a23b8be5c76be031affa9ced45c43

Authored by Antonio Terceiro
1 parent f7332f47

add server script that forwards ports 80 and 443

Resolving *.dev to localhost is up to you. Google DNS servers will do
that automatically, otherwise you might add entries to /etc/hosts
Showing 1 changed file with 21 additions and 0 deletions   Show diff stats
server 0 → 100755
... ... @@ -0,0 +1,21 @@
  1 +#!/bin/sh
  2 +
  3 +ROOTDIR="$(readlink -f $(dirname $0))"
  4 +. $ROOTDIR/test/ip_helper.sh
  5 +
  6 +sudo -v
  7 +sudo redir --lport 80 --cport 80 --caddr $reverseproxy &
  8 +sudo redir --lport 443 --cport 443 --caddr $reverseproxy &
  9 +
  10 +cleanup() {
  11 + sudo pkill -9 redir
  12 +}
  13 +
  14 +echo "Forwarding ports 80 and 443"
  15 +echo "Hit ctrl-c to stop"
  16 +echo "Browse to: https://softwarepublico.dev/"
  17 +echo "Browse to: https://listas.softwarepublico.dev/"
  18 +echo
  19 +trap cleanup INT TERM
  20 +tail -f /dev/null
  21 +echo
... ...