mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 08:21:08 +00:00
2912096f6e
This patch changes the 'Single_file_system' to return NO_PERM only if
the to-be-unlinked file corresponds to the single file. This way, a
<rom> co-mounted with a <ram> file-system does not stand in the way of
unlinking files from the <ram>. The concrete symptom occurred the
following scenario:
<vfs>
<dir name="home">
<ram/>
<rom name="..."/>
</dir>
</vfs>
The following sequence of commands wrongly resulted in "Operation not
permitted":
$ mkdir -p /home/a/b/c
$ rm -f /home/a/b/c/d
In this case, rm should not fail (unlink should return ENOENT)
Fixes #3690
|
||
|---|---|---|
| .. | ||
| dir_file_system.h | ||
| directory_service.h | ||
| env.h | ||
| file_io_service.h | ||
| file_system_factory.h | ||
| file_system.h | ||
| print.h | ||
| readonly_value_file_system.h | ||
| simple_env.h | ||
| single_file_system.h | ||
| types.h | ||
| vfs_handle.h | ||