6146b3350e1aafb17341d55b3aa4bd08fd99cdc4
3 if [[ "x$BASH_SOURCE" == "x" ]]; then echo '$BASH_SOURCE not set'; exit 1; fi
4 DEV
=$
(cd -P "$(dirname "${BASH_SOURCE[0]}" )" && pwd)
13 $DEV/php
/bin
/php maintenance
/install.php
--server="http://localhost:$PORT" --scriptpath="" --dbtype=sqlite
--dbpath=$DEV/data
--pass=admin
"Trunk Test" $USER
15 echo "Development wiki created with admin user $USER and password 'admin'."