Concerning names for partition(), I immediately thought of break(). Unfortunately it's taken.
So, how about snap()?
head, sep, tail = line.snap(':')
-j
_______________________________________________
Python-Dev mailing list
[email protected]
http://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
