Paul, I'm impressed by the quick action. I was too lazy to look up the source, but the cause and fix were exactly as I had imagined.
Thanks, Doug On Sun, Jan 11, 2026 at 11:07 AM Paul Eggert <[email protected]> wrote: > On 2026-01-11 01:21, Alexander Jones wrote: > > Whether Antonio wants to expend the coding effort to do a stat call to > > check whether the filename is an actual directory just for proper > > diagnostic output is up to him. > > There is no need for a stat call. Just open the file and read it as > usual. If that fails, diagnose the problem as usual. > > The coding effort here is simple: remove the code that checks whether > the file name is empty or ends in "/". This simplifies things (and makes > "ed" a tiny bit smaller and faster - isn't that the point of "ed"? :-). > > Proposed patch attached. > > (cc'ing Doug McIlroy who originally reported the bug to a different > mailing list.)
