From 5cc70235112b1079fcadda643490bb225fd41311 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= 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