From 4e0b76479f9e6592b96d2bd6e17cb52fb1c9d693 Mon Sep 17 00:00:00 2001 From: LV-426 Date: Wed, 22 Apr 2015 17:54:00 +0300 Subject: moving docker files under src/local/ --- docker/docker-run.sh | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100755 docker/docker-run.sh (limited to 'docker/docker-run.sh') diff --git a/docker/docker-run.sh b/docker/docker-run.sh deleted file mode 100755 index 7df2d95d..00000000 --- a/docker/docker-run.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/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 -- cgit v1.3.1