riot-web/riot/start.sh

#!/bin/bash
PORT=8080
echo "running riot on http://localhost:$PORT..."
BASE_DIR=$(readlink -f $(dirname $0))
cd $BASE_DIR/
pushd riot-web/webapp/ > /dev/null
python -m SimpleHTTPServer $PORT > /dev/null 2>&1 &
PID=$!
popd > /dev/null
echo $PID > riot.pid
force running scripts in bash, as it's not the default shell on Ubuntu (which is what Travis runs) 2018-07-27 15:08:14 +02:00			`#!/bin/bash`
now the output isn't overwhelming anymore, output what's happening at every step 2018-07-27 13:43:12 +02:00			`PORT=8080`
			`echo "running riot on http://localhost:$PORT..."`
use readlink instead of realpath as it seems to be more portable 2018-07-27 15:04:04 +02:00			`BASE_DIR=$(readlink -f $(dirname $0))`
no need for push/popd in sub-shell 2018-07-27 14:10:19 +02:00			`cd $BASE_DIR/`
hide riot static server output 2018-07-27 13:29:59 +02:00			`pushd riot-web/webapp/ > /dev/null`
now the output isn't overwhelming anymore, output what's happening at every step 2018-07-27 13:43:12 +02:00			`python -m SimpleHTTPServer $PORT > /dev/null 2>&1 &`
add script to install, start and stop riot 2018-07-18 17:52:51 +02:00			`PID=$!`
hide riot static server output 2018-07-27 13:29:59 +02:00			`popd > /dev/null`
dont assume current directory in scripts 2018-07-18 18:04:31 +02:00			`echo $PID > riot.pid`