blob: 7df2d95d8998b954f1094e2a08fa9406c91d59b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
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
|
