From bda58754a5ae59c99c08693f1215f5ae06c6b0f8 Mon Sep 17 00:00:00 2001 From: James Cuzella Date: Thu, 20 Jun 2019 23:06:22 -0600 Subject: [PATCH] Alt. solution: Avoid launching sed process (Fixes #4618) --- scripts/functions/utility | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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