--- OpenFOAM-7/etc/config.sh/aliases.orig 2019-09-16 13:30:22.486838430 +0200 +++ OpenFOAM-7/etc/config.sh/aliases 2019-09-16 13:30:09.376624779 +0200 @@ -71,12 +71,12 @@ # Refresh the environment # ~~~~~~~~~~~~~~~~~~~~~~~ # For backward-compatibility unalias wmRefresh if it is defined as an alias -if command -V wmRefresh 2> /dev/null | head -1 | grep -q "function" -then - unset wmRefresh -else - unalias wmRefresh 2> /dev/null -fi +#if command -V wmRefresh 2> /dev/null | head -1 | grep -q "function" +#then +# unset wmRefresh +#else +# unalias wmRefresh 2> /dev/null +#fi wmRefresh() {