Gabriel Farrell wrote:
Yes! My point exactly. It's inconsistent!
Spaces before filename: counted only when escaped
Spaces after filename: counted even when they're not escaped
It is not inconsistent. It is just a limitation of the user interface.
In full screen editors, when you press the key to load a file the
program prompts you to enter a file name and, usually, uses the file
name as given, spaces included.
In environments where command and file name are on the same line, like
the shell or the ed command mode, the beginning of the file name needs
to be marked somehow. In the case of ed, just escaping the first space
is enough to mark the beginning of the file name:
$ echo "Hello, world" > " a.txt"
$ ed -v
e \ a.txt
13
,p
Hello, world
q
rm " a.txt"
$
This small change leads us to a saner world where spaces on both sides
of the filename are only counted when escaped.
It will be even saner when the authors of rlfe fix this minor bug in
their code. :-)
Regards,
Antonio.
_______________________________________________
bug-ed mailing list
bug-ed@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-ed