diff --git a/etc/config.sh/aliases b/etc/config.sh/aliases index 3d24149d77dc685e7d774d09498d18e8302e5685..60799019011799e5aced747e3387e9620744ce59 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