diff --git a/install b/install index 4b89a49aa185162a46d280056b4cedf8b10c64b2..6dfc2df70ef9a26440b9f8d5c08d18d61bb8753c 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