diff options
-rwxr-xr-x | bin/ptxdist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 466c71285..824c7dd1a 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -174,7 +174,7 @@ check_uid() { # remove "." from the PATH # check_path() { - PATH="$(echo "${PATH}" | sed -e "s/:\.$//" -e "s/^\.://" -e "s/:\.://")" + PATH="$(echo "${PATH}" | sed -e "s/\(:\.\)\+:/:/g" -e "s/\(^\.:\|:\.$\)//g")" } |