From 6f661d4f0408705b6ae77a1b4ab66d32a9b0913f Mon Sep 17 00:00:00 2001
From: Hugo Levy-Falk <hugo.levy--falk@supelec.fr>
Date: Wed, 4 Sep 2019 22:16:17 +0200
Subject: [PATCH] Proper names for mysql packages.

---
 install_re2o.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install_re2o.sh b/install_re2o.sh
index d6b0a4ef..8ddc9de7 100755
--- a/install_re2o.sh
+++ b/install_re2o.sh
@@ -103,7 +103,7 @@ install_database() {
     if [ "$engine_type" == 1 ]; then
 
         echo "Installing MySQL client ..."
-        apt-get -y install python3-mysqldb mysql-client
+        apt-get -y install python3-mysqldb default-mysql-client
         echo "Installing MySQL client: Done"
 
         mysql_command="CREATE DATABASE $db_name collate='utf8_general_ci';
@@ -113,7 +113,7 @@ install_database() {
 
         if [ "$local_setup" == 1 ]; then
             echo "Setting up local MySQL server ..."
-            apt-get -y install mysql-server
+            apt-get -y install default-mysql-server
             mysql -u root --execute="$mysql_command"
             echo "Setting up local MySQL server: Done"
         else