Use a more portable way to put PATH back to normal

1 files changed, 2 insertions, 2 deletions

diff --git a/kerl b/kerl
index eae2871..f0e5512 100755
--- a/kerl
+++ b/kerl
@@ -650,12 +650,12 @@ do_install()
 kerl_deactivate()
 {
     if [ -n "\$_KERL_PATH_REMOVABLE" ]; then
-        PATH=\${PATH//\${_KERL_PATH_REMOVABLE}:/}
+        PATH=\`echo \${PATH} | sed -e "s#\${_KERL_PATH_REMOVABLE}:##"\`
         export PATH
         unset _KERL_PATH_REMOVABLE
     fi
     if [ -n "\$_KERL_MANPATH_REMOVABLE" ]; then
-        MANPATH=\${MANPATH//\${_KERL_MANPATH_REMOVABLE}:/}
+        MANPATH=\`echo \${MANPATH} | sed -e "s#\${_KERL_MANPATH_REMOVABLE}:##"\`
         export MANPATH
         unset _KERL_MANPATH_REMOVABLE
     fi