From b618c869cd2edfe915053d901e735b7ae1382b36 Mon Sep 17 00:00:00 2001
From: Simon Let <simon.a.let@gmail.com>
Date: Mon, 10 Jun 2019 16:54:08 +0200
Subject: [PATCH] minor changes to shell.rc

---
 shellrc.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/shellrc.sh b/shellrc.sh
index 3bcefb9..671e8eb 100644
--- 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" \