From ff1a4eeb8f01669aeb88e61b24eaecb64b998949 Mon Sep 17 00:00:00 2001
From: Martin Winkler <efelon@winklerfamilie.eu>
Date: Thu, 16 Apr 2020 21:07:05 +0000
Subject: [PATCH] Install curl as dependency before setting up repository

---
 seqs/mysql.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/seqs/mysql.sh b/seqs/mysql.sh
index b1bb0fe..129a54f 100755
--- a/seqs/mysql.sh
+++ b/seqs/mysql.sh
@@ -42,6 +42,7 @@ lower_case_table_names=0
 step_8_info() { echo "Setup ubuntu $databaseName repository"; }
 step_8_alias() { ALIAS="latest"; }
 step_8() {
+  exe apt install curl
   exep "curl -sS https://downloads.mariadb.com/MariaDB/mariadb_repo_setup | sudo bash -s -- --skip-maxscale --skip-tools"
 }