L
Lawrence D'Oliveiro
As I understand it, java.io.File is supposed to be the place to provide
manipulations of pathnames. Just comparing it
<http://developer.android.com/reference/java/io/File.html> to the Python
equivalent <http://docs.python.org/library/os.path.html>
<http://docs.python.org/py3k/library/os.path.html> shows how limited it is:
no equivalent to join, splitext or (shudder) splitdrive; while Java has
isfile and isdir equivalents, there is no islink or ismount; there is exists
but no lexists. And wouldn’t it be nice to have expanduser and expandvars as
well?
manipulations of pathnames. Just comparing it
<http://developer.android.com/reference/java/io/File.html> to the Python
equivalent <http://docs.python.org/library/os.path.html>
<http://docs.python.org/py3k/library/os.path.html> shows how limited it is:
no equivalent to join, splitext or (shudder) splitdrive; while Java has
isfile and isdir equivalents, there is no islink or ismount; there is exists
but no lexists. And wouldn’t it be nice to have expanduser and expandvars as
well?