How to remove first character up to a specific character in a string using bash scripting?

Question

For example, I have a string:

HelloWorld: This is HelloWorld: another HelloWorld

How do I get from the above string to just

This is HelloWorld: another Helloworld

There can also be whitespaces in the beginning of the full string, and basically I just want to remove all characters up to the first occurance of the first colon (":") in the string.

Thanks for the help!

Answer 1

string="HelloWorld: This is HelloWorld: another HelloWorld"

With a POSIX shell (useful when the string is already in a variable):

echo "${string#*: }"

With sed:

echo "$string" | sed 's/^[^:]*: //'