Fix play server setup.

diff --git a/all_new_2018/setup_scripts/setup_play.sh b/all_new_2018/setup_scripts/setup_play.sh
index a226ca0bc12c0ddc9397f4d2060d0472dd24930b..f37be49ca18777fd3b5357a9b5f379c3808ec3b7 100755 (executable)
--- a/all_new_2018/setup_scripts/setup_play.sh
+++ b/all_new_2018/setup_scripts/setup_play.sh
@@ -12,9 +12,10 @@ config_tree_prefix="${HOME}/config/all_new_2018"
 setup_scripts_dir="${config_tree_prefix}/setup_scripts"
 cd "${setup_scripts_dir}"
 
+# If anything strange happens, let root send mail to us.
 ./setup_sendonly.sh
 
-./add_encryption_key.sh "${gpg_key}"
+# Apart from weechat, vim and screen will also be useful for everyday activity.
 apt -y install weechat screen vim
 
 # Link and copy over files.
@@ -30,5 +31,6 @@ echo "$gpg_key" > /home/plom/.encrypt_target
 chown plom:plom /home/plom/.encrypt_target
 
 # Start encrypt_chatlogs job.
+./add_encryption_key.sh "${gpg_key}"
 systemctl daemon-reload
 systemctl start encrypt_chatlogs.timer