minor changes to shell.rc

7 years ago · b618c869cd
parent 262ba38ba6
commit b618c869cd
1 changed files with 2 additions and 2 deletions
--- a/shellrc.sh
+++ b/shellrc.sh
@ -153,9 +153,9 @@ __resh_precmd() {
    __RESH_PWD_AFTER="$PWD"
    if [ -n "${__RESH_COLLECT}" ]; then
        if [ "$__RESH_VERSION" != $(resh-collect -version) ]; then
-            echo "resh WARNING: You probably just updated RESH - please restart/reload this terminal session (resh version: $(resh-collect -version); resh version of this terminal session: ${__RESH_VERSION})"
+            echo "resh WARNING: You probably just updated RESH - please restart or reload this terminal session (resh version: $(resh-collect -version); resh version of this terminal session: ${__RESH_VERSION})"
        elif [ "$__RESH_REVISION" != $(resh-collect -revision) ]; then
-            echo "resh WARNING: You probably just updated RESH - please restart/reload this terminal session (resh version: $(resh-collect -revision); resh version of this terminal session: ${__RESH_REVISION})"
+            echo "resh WARNING: You probably just updated RESH - please restart or reload this terminal session (resh version: $(resh-collect -revision); resh version of this terminal session: ${__RESH_REVISION})"
        else
            resh-collect -requireVersion "$__RESH_VERSION" \
                        -requireRevision "$__RESH_REVISION" \