Re: how to understand echo ${PATH#*:}

[DJ Mills]

> This is really a help-bash question.  Please send all follow-ups
> there.

This.

However, see:
http://mywiki.wooledge.org/BashFAQ/100
for a more in-depth look at different string manipulation techniques,
including that one.

DJ