Hey #python people! Question for you, does anyone know any more details of how the str.split() method is implemented? I'm curious about performance of str.split('.').pop() vs str[str.rfind('.'):] (as in, find the (last part of) extension of a filename) Or maybe there's an even better solution?

@stolas_mk2 the current version uses regex, very unnecessarily, to pull out info from every single input line.. (it was my very first python script, don't judge me! :blobcatmeltcry: )

@stolas_mk2 ooh, well that's certainly very very convenient at least! I might have to set up some tests to measure the performance..

It's for a script I've written to use at work, parsing potentially millions of lines of output from "find ..." (shell, not python) and summarizing some data. I doubt the performance difference would be particularly large, I just prefer to write efficient code xD