From d5b71a9e173e1b88a8f62489fe4facb37f055c13 Mon Sep 17 00:00:00 2001
From: Fabrizio Lungo <git@flungo.me>
Date: Wed, 5 Apr 2017 14:58:29 +0100
Subject: [PATCH] Provide example configuration

Provide an example configuration which is automatically made as the default configuration if no other configuration is provided. This makes starting the server for development as per the instructions in the README simpler and works without any additional actions. Without this, there is no config file and the site will not be served.
---
 data/config.php.example | 2 ++
 dev.sh                  | 4 ++++
 2 files changed, 6 insertions(+)
 create mode 100644 data/config.php.example

diff --git a/data/config.php.example b/data/config.php.example
new file mode 100644
index 00000000..d266508b
--- /dev/null
+++ b/data/config.php.example
@@ -0,0 +1,2 @@
+<?php
+return array();
diff --git a/dev.sh b/dev.sh
index 318acd8a..1b3361ad 100755
--- a/dev.sh
+++ b/dev.sh
@@ -1,3 +1,7 @@
 #!/bin/bash
 
+if [ ! -e "data/config.php" ]; then
+  cp "data/config.php.example" "data/config.php"
+fi
+
 php7.0 --server localhost:8000 --docroot web/ web/index.php