etc/config.sh/aliases: For backward-compatibility unalias wmRefresh if it is defined as an alias

2016-06-24 10:36:04 +01:00
parent 26057f8be6
commit d251485534
1 changed files with 2 additions and 1 deletions
--- 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