The clean & modern RSS server that doesn't give you any crap.
https://thearsse.com/
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
8 lines
268 B
8 lines
268 B
#! /bin/sh
|
|
base=`dirname "$0"`
|
|
php -n -S localhost:8000 "$base/server.php" >/dev/null 2>/dev/null &
|
|
sleep 1s
|
|
php "$base/../vendor/phpunit/phpunit/phpunit" -c "$base/phpunit.xml" $*
|
|
sleep 1s
|
|
pid=`lsof -n -i:8000 | grep -Eo "php\s+[0-9]+" | grep -Eo "[0-9]+"`
|
|
kill $pid
|