From 73eb353758a0085e1769cb76a4b2b8a7cbfdff60 Mon Sep 17 00:00:00 2001
From: Olivier DOSSMANN <olivier+git@dossmann.net>
Date: Wed, 13 Jan 2016 10:11:11 +0100
Subject: [PATCH] [ADD] Launch script: Change config to config.example to
 permit user to keep its own configuration without any lost when fetching git
 repository

---
 .gitignore               | 1 +
 config => config.example | 0
 launch.sh                | 4 ++++
 3 files changed, 5 insertions(+)
 create mode 100644 .gitignore
 rename config => config.example (100%)

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..04204c7
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+config
diff --git a/config b/config.example
similarity index 100%
rename from config
rename to config.example
diff --git a/launch.sh b/launch.sh
index 142dd5a..2015a50 100755
--- a/launch.sh
+++ b/launch.sh
@@ -15,6 +15,10 @@ POSTGRES_VERSION="9.5"
 GISSMO_DOCKER_NAME="gissmo"
 
 ## User
+if ! test -f config; then
+  echo "'config' file not found. Copy config.example to config one and try again!"
+  exit 1
+fi
 . config || exit 1
 
 ## Composed