Commit fff24322 authored by Pietro Incardona's avatar Pietro Incardona
Browse files

Empty home folder detection

parent 37d01155
......@@ -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"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment