Hi, Thien-Thi Nguyen <t...@gnuvola.org> 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’.
