diff --git a/etc/config.sh/aliases b/etc/config.sh/aliases index 3d24149d77..6079901901 100644 --- a/etc/config.sh/aliases +++ b/etc/config.sh/aliases @@ -69,7 +69,8 @@ alias run='cd $FOAM_RUN' # Refresh the environment # ~~~~~~~~~~~~~~~~~~~~~~~ -unset wmRefresh +# For backward-compatibility unalias wmRefresh if it is defined as an alias +[ "$(type -t wmRefresh)" = "alias" ] && unalias wmRefresh || unset wmRefresh wmRefresh() { wmProjectDir=$WM_PROJECT_DIR