On Mon, Dec 23, 2024 at 04:25:40AM +0000, Al Viro wrote: > Incidentally, call your file "<none>"; is the current behaviour > the right thing to do? > > What behaviour _is_ actually wanted? Jens, Jann? While we are at it, what do you want to see if your file happens to be e.g. /home or /boot/efi?
