@quinta

Unfortunately /dev/null is not a directory.

That's something I considered to introduce in #Jehanne though, as an alternative to a `remove` syscall.

It has some advantages, since you could ask the operating system to remove a arbitrary complex tree with a fixed (and small) number of syscalls, but it would badly break error reporting.