lbry.com/dev.sh
Alex Grintsvayg 083a40a5dc rename script
2017-07-31 13:33:05 -04:00

10 lines
243 B
Bash
Executable file

#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
if [ ! -e "data/config.php" ]; then
cp "$DIR/data/config.php.example" "$DIR/data/config.php"
fi
php7.0 --server localhost:8000 --docroot "$DIR/web" "$DIR/web/index.php"