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

[Greg Ewing]

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