From c1f6db5804802eeae5b701937aea124cfb37477c Mon Sep 17 00:00:00 2001
From: Rogier Neeleman <rogier@sciuro.org>
Date: Tue, 19 Nov 2013 00:24:13 +0100
Subject: [PATCH] Config file for willie added

---
 .gitignore              |  3 +++
 conf/willie-example.cfg | 35 +++++++++++++++++++++++++++++++++++
 2 files changed, 38 insertions(+)
 create mode 100644 conf/willie-example.cfg

diff --git a/.gitignore b/.gitignore
index 1b4ea51..b18f5d6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,8 @@
 # Ignoring logging directory
 logs/*
 
+# Ignore the running willie config file
+conf/willie.cfg
+
 # Don't ignore gitignore
 !.gitignore
diff --git a/conf/willie-example.cfg b/conf/willie-example.cfg
new file mode 100644
index 0000000..0d9ea12
--- /dev/null
+++ b/conf/willie-example.cfg
@@ -0,0 +1,35 @@
+[core]
+# First all the settings of the IRC user
+nick = Whatsedo
+user = whatsedo
+name = Whatsedo game
+
+# To what IRC server are we connecting?
+host = irc.server
+port = 6667
+use_ssl = False
+verify_ssl = True
+timeout = 120
+
+# Who is the owner of the IRC game?
+owner = Your_own_IRC_User
+# admins = extra_admins 
+
+# In what channel are we playing?
+channels = #whatsedo
+
+# Enable the modules needed for the game
+# and the game itself
+enable = admin
+extra = /somewhere/whatsedo/game
+
+# Where are we going to log our actions?
+logdir = /somewhere/whatsedo/logs
+# verbose = verbose
+# log_raw = True
+
+# Where do we write our PID file?
+pid_dir = /somewhere/whatsedo/logs
+
+# What is the prefix for the IRC admin commands?
+prefix = \!