From c84145dab713bc0d1ceed6f6d57e6e5458888f04 Mon Sep 17 00:00:00 2001
From: Hakase <hakase@hakase.app>
Date: Mon, 14 May 2018 00:54:53 +0900
Subject: [PATCH] Remove the default configuration file (config.inc) and print
 the message.

---
 auto.sh    | 7 ++++++-
 config.inc | 3 ---
 2 files changed, 6 insertions(+), 4 deletions(-)
 delete mode 100644 config.inc

diff --git a/auto.sh b/auto.sh
index 08219c8..d8f89ed 100755
--- a/auto.sh
+++ b/auto.sh
@@ -1,7 +1,12 @@
 #!/bin/sh
 
 ### Read config
-. ./config.inc
+if [ ! -f "config.inc" ]; then
+    echo "--- The configuration file (config.inc) could not be found. Apply as default setting. ---"
+    echo "--- All additional modules are not used. ---"
+else
+    . ./config.inc
+fi
 
 ### If the value is incorrect, convert to normal data.
 if [ ! "$SERVER_HEADER" ]; then SERVER_HEADER="hakase"; fi
diff --git a/config.inc b/config.inc
deleted file mode 100644
index 71c1b51..0000000
--- a/config.inc
+++ /dev/null
@@ -1,3 +0,0 @@
-### If you receive the source for the first time, type the following command to set it.
-### Then modify config.inc.
-cp config.inc.example config.inc