How can I get rid of unnecessary slashes in a given path?
Example:
p=\"/foo//////bar///hello/////world\"
I want:
p=\"/f
Using pure Bash:
shopt -s extglob echo ${p//\/*(\/)/\/}