@@ -1,14 +1,15 @@

 # Title: .bash_profile

 # Author: Frédéric CHEVALIER <f15.chevalier@gmail.com>

-# Version: 3.1

+# Version: 3.2

 # Created in: 2012-05-25

-# Modified in: 2021-05-19

+# Modified in: 2022-09-10

 #==========#

 # Versions #

 #==========#

+# v3.2 - 2022-09-10: add timeout on welcome message

 # v3.1 - 2021-05-19: updates related to severs and SGE config changes (e.g., queue) / new env variable added

 # v3.0 - 2020-03-01: Linuxbrew added / Miniconda added / some Python env variables removed / R env variables removed / PATH setup improved / misc updates

 # v2.3 - 2019-03-10: alias updated / R hack for medusa2 added / no ssh key usage or storage for heron

@@ -211,19 +212,24 @@ fi

 if [[ ! ($HOSTNAME =~ heron* || $HOSTNAME =~ compute.*) && (-z $LC_STY || $LC_STY != 1) ]]

 then

     mydisk="/master"

-    echo ""

-    for i in $mydisk

-    do

-        [[ ! $(df -h 2> /dev/null | grep "$i ") ]] && continue

-        echo -e "\033[33mSpace available on $i [% Used/Total/Free]:\033[00m $(df -h 2> /dev/null | grep "$i " | awk '{print $5" / "$2" / "$4}')"

-    done

-    echo ""

+    dspace=$(timeout 5s df -h 2> /dev/null)

+    if [[ -n "$dspace" ]]

+    then

+        echo ""

+        for i in $mydisk

+        do

+            [[ ! $(grep "$i " <<< "$dspace") ]] && continue

+            echo -e "\033[33mSpace available on $i [% Used/Total/Free]:\033[00m $(grep "$i " <<< "$dspace" | awk '{print $5" / "$2" / "$4}' | head -n 1)"

+        done

+        echo ""

+    fi

     if [[ ($name == "zeus") && (-z $LC_STY || $LC_STY != 1) ]]

     then

+        cores=$(timeout 5s qstat -g c)

         echo -e "\033[33mCores available:\033[00m\n"

-        qstat -g c

-        echo -e "\n"

+        echo -e "$cores\n"

     fi

 fi

+unset dspace