Skip to content

Add property to File to extract extension #20852

Open
@zanderso

Description

Add a property to File (or Uri?) for extracting the file extension, e.g. "file.txt" -> ".txt", "program.exe" -> ".exe", "noext" -> "". Similar to pythons os.path.splitext: https://docs.python.org/2/library/os.path.html#os.path.splitext

Metadata

Assignees

No one assigned

    Labels

    area-vmUse area-vm for VM related issues, including code coverage, and the AOT and JIT backends.library-iotype-enhancementA request for a change that isn't a bug

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions