On Jul 29, 2011 6:33 PM, "Michael Poeltl" <michael.poe...@univie.ac.at>
wrote:
>
> what about this?
> >>> ' '.join('/home//h1122/bin///ghi/'.split('/')).split()
> ['home', 'h1122', 'bin', 'ghi']
> >>>Doesn't work on filenames with spaces in them.
-- http://mail.python.org/mailman/listinfo/python-list
