diff options
| author | LV-426 <lv-426@taproot.org.il> | 2015-04-22 17:54:00 +0300 |
|---|---|---|
| committer | LV-426 <lv-426@taproot.org.il> | 2015-04-22 17:54:00 +0300 |
| commit | 4e0b76479f9e6592b96d2bd6e17cb52fb1c9d693 (patch) | |
| tree | 363a64ed01021575c04e4b5fd70ac43ae863ae60 /src/local/docker/docker-run.sh | |
| parent | 05a1f14689a6b149c99b85c40360370a438104de (diff) | |
moving docker files under src/local/
Diffstat (limited to 'src/local/docker/docker-run.sh')
| -rwxr-xr-x | src/local/docker/docker-run.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/local/docker/docker-run.sh b/src/local/docker/docker-run.sh new file mode 100755 index 00000000..7df2d95d --- /dev/null +++ b/src/local/docker/docker-run.sh @@ -0,0 +1,14 @@ +#!/bin/bash +if [ ! -e .git ]; then + echo run from top level checkout of rhizi repository + exit 0 +fi +# cannot bind to localhost in docker, must bind to 0.0.0.0 +PORT=8080 +if [ "x$1" != "x" ]; then + PORT=$1 +fi +sed -i -e 's/listen_address = 127.0.0.1/listen_address = 0.0.0.0/' res/etc/rhizi-server.conf +sed -i -e "s/listen_port.*/listen_port = $PORT/" res/etc/rhizi-server.conf +sed -i -e "s/SERVER_NAME.*/SERVER_NAME = rhizi.local:$PORT/" res/etc/rhizi-server.conf +docker run -it -p $PORT:$PORT -v `pwd`:/home/rhizi alon/rhizi:test1 ./run-both-local.sh |