element-web/riot/start.sh

mirror of https://github.com/vector-im/element-web
BASE_DIR=$(realpath $(dirname $0))
pushd $BASE_DIR
pushd riot-web/webapp/
python -m SimpleHTTPServer 8080 &
PID=$!
popd
echo $PID > riot.pid
popd
dont assume current directory in scripts 2018-07-18 18:04:31 +02:00			`BASE_DIR=$(realpath $(dirname $0))`
			`pushd $BASE_DIR`
add script to install, start and stop riot 2018-07-18 17:52:51 +02:00			`pushd riot-web/webapp/`
			`python -m SimpleHTTPServer 8080 &`
			`PID=$!`
			`popd`
dont assume current directory in scripts 2018-07-18 18:04:31 +02:00			`echo $PID > riot.pid`
			`popd`