From 5cc70235112b1079fcadda643490bb225fd41311 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Tue, 11 Oct 2016 18:46:52 +0200
Subject: Use a more portable way to put PATH back to normal

---
 kerl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kerl')

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
-- 
cgit v1.2.3