--- /dev/null
+#!/bin/sh
+#
+# This mails to user plom the message in the file named by the first parameter,
+# decoded with the first line as subject and everything below the second line
+# as the message body. The subject line MUST NOT contain '"' double quotes.
+
+subject=`head -1 $1`
+body=`tail -n +2 $1`
+echo $body | mutt -s "$subject" plom
# Clean up.
rm jessie_start_server.sh
+# Send instructions mail.
+config/bin/simplemail.sh config/mails/server_postinstall_finished
+
# Set password for user.
passwd plom
--- /dev/null
+Server post-installation TODO
+
+The server post-installation script seems to have run successfully. Remember to
+perform the following tasks:
+
+- once when mail system set-up seems stable, in
+ config/dotfiles_user_server/getmail/getmailrc, set [options] delete = true