diff --git a/scripts/functions/utility b/scripts/functions/utility index a464f2b568..6565de9a19 100755 --- a/scripts/functions/utility +++ b/scripts/functions/utility @@ -60,7 +60,8 @@ __rvm_remove_from_path() if [[ "$PATH" == *"//"* || "$PATH" == *"/:"* ]] then - PATH="$(\sed -E -e 's#/+#/#g' -e 's#/:#:#' <<<$PATH)" + while [[ "$PATH" == *"//"* ]] ; do PATH="${PATH/\/\///}" ; done + while [[ "$PATH" == *"/:"* ]] ; do PATH="${PATH/\/:/:}" ; done fi if