From de3f0599582ed48273bdf2b72a6bac3719b36dfc Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Wed, 19 Dec 2018 23:01:52 +0100
Subject: [PATCH] Fix fetchmail installation forgetting in mail server setup
 script.

---
 all_new_2018/setup_scripts/setup_mail.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/all_new_2018/setup_scripts/setup_mail.sh b/all_new_2018/setup_scripts/setup_mail.sh
index f2722b9..0ee5414 100755
--- a/all_new_2018/setup_scripts/setup_mail.sh
+++ b/all_new_2018/setup_scripts/setup_mail.sh
@@ -74,6 +74,7 @@ su plom -c "cd && git clone https://plomlompom.com/repos/clone/pingmail.git"
 # POP3 account into dovecot via fetchmail. It might make sense to adapt the
 # ~/.dovecot.sieve to move mails targeted to the fetched mail account to their
 # own mbox.
+apt -y install fetchmail
 cp "${config_tree_prefix}/user_files/fetchmailrc" /home/plom/.fetchmailrc
 chown plom:plom /home/plom/.fetchmailrc
 chmod 0700 /home/plom/.fetchmailrc
-- 
2.30.2