Re: port-filename and path canonicalization

[Ludovic Courtès]

Hi,

Thien-Thi Nguyen <address@hidden> writes:

> Another idea is to conceptually separate "filename" to be "directory"
> and "basename" and have file ports maintain the directory portion as a
> file descriptor (or equivalent) internally, exposed through some kind of
> opaque handle.

I think open file ports shouldn’t grant any authority beyond access to
the open file.  Just like an open file descriptor doesn’t convey any
authority beyond access to the underlying file (if we omit ‘..’ lookups
on a directory file descriptor with openat(3)).

Thanks,
Ludo’.