Re: [Python-ideas] str.split with multiple individual split characters

Guido van Rossum wrote:

It's so easy to do this using re.split() that it's not worth the added complexity in str.split().

Also I'm not sure it would be all that useful in practice in the simple form proposed. Whenever I've wanted something like that I've also wanted to know *which* separator occurred at each split point. This is also fairly easy to do with re.split(). -- Greg