Fix fetchmail installation forgetting in mail server setup script.

diff --git a/all_new_2018/setup_scripts/setup_mail.sh b/all_new_2018/setup_scripts/setup_mail.sh
index f2722b9d944ebb7d7810f7c77becaf91220d8855..0ee54141a952d07631e2b3e9e915d9d7fbc7a597 100755 (executable)
--- 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