[Python-ideas] PEP 428 - object-oriented filesystem paths

[Georg Brandl]

Am 06.10.2012 14:46, schrieb Antoine Pitrou:
> On Sat, 6 Oct 2012 16:40:49 +0400
> Oleg Broytman <phd at phdru.name> wrote:
>> On Sat, Oct 06, 2012 at 04:26:42PM +0400, Oleg Broytman <phd at phdru.name> wrote:
>> > newpath = path.with_drive('C:')
>> > newpath = path.with_name('newname')
>> > newpath = path.with_ext('.zip')
>> 
>>    BTW, I think having these three -- replacing drive, name and extension --
>> is enough.
> 
> What is the point of replacing the drive?
> 
> Replacing the name is already trivial: path.parent()[newname]
> 
> So we only need to replace the "basename" and the extension (I think
> I'm ok with the "basename" terminology now :-)).

If my crystal ball is correct, the middle example above replaces not the
basename but the "part before the extension".  So we have to find another
name for it ...

Georg