From 2ce41cc9fa033a9984ea7525f370032a2041d7d1 Mon Sep 17 00:00:00 2001
From: Liam Demafelix <liamdemafelix.n@gmail.com>
Date: Fri, 30 Oct 2015 23:46:09 +0800
Subject: [PATCH] Change MySQL to MariaDB

MariaDB is a drop-in replacement for MySQL and should work fine for Wheezy.
---
 setup-debian.sh | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/setup-debian.sh b/setup-debian.sh
index 48d32eb..b6f0578 100755
--- a/setup-debian.sh
+++ b/setup-debian.sh
@@ -113,9 +113,13 @@ function install_exim4 {
 }
 
 function install_mysql {
+    # Install python-software-properties (add-apt-repository)
+    check_install python-software-properties
+    apt-key adv --recv-keys --keyserver keyserver.ubuntu.com 0xcbcb082a1bb943db
+    cat 'deb http://mirror.stshosting.co.uk/mariadb/repo/10.0/debian wheezy main' >> /etc/apt/sources.list
+    apt-get update -y -q
     # Install the MySQL packages
-    check_install mysqld mysql-server
-    check_install mysql mysql-client
+    check_install mariadb-server
 
     # Install a low-end copy of the my.cnf to disable InnoDB, and then delete
     # all the related files.