From fff24322b7efabababf165514e078de70011e1cd Mon Sep 17 00:00:00 2001
From: Pietro Incardona <i-bird@private-incardon-3.mpi-cbg.de>
Date: Thu, 11 Aug 2016 21:06:27 +0200
Subject: [PATCH] Empty home folder detection

---
 install | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/install b/install
index 4b89a49aa..6dfc2df70 100755
--- a/install
+++ b/install
@@ -7,6 +7,12 @@ source script/pre_req
 source script/remove_old
 source script/set_mpi
 
+## Check that your home is not empty
+
+if [ x"$HOME" == x"" ]; then
+	 echo -e "Your $HOME folder is empty \033[91;5;1m FAILED \033[0m"
+fi
+
 ##
 
 install_req=1
-- 
GitLab