[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: special treatment of colon-plus-digits in a filename

From: Mike Scalora
Subject: Re: special treatment of colon-plus-digits in a filename
Date: Mon, 6 May 2024 09:15:37 -0600

Yes, that's correct. In the case of both files existing and the user wanting to use the line number, they can use the other command line switch with a hyphen. I expect this would be so rare it might never happen in real life.


On Fri, May 3, 2024 at 10:50 AM Benno Schulenberg <> wrote:

Op 03-05-2024 om 17:21 schreef Mike Scalora:
> Thinking out loud: what about looking for files that match with colon parsing
> and without colon parsing?

You mean: if the specified name contains a colon, check if that file
(including the colon and what follows it) exists, and if so, open
that file instead of trying to interpret the colon as a line-number
introducer?  And second, if the name stripped from colon plus trailing
digits does _not_ exist, then understand colon plus digits as part of
the file name, as it does not make sense to specify a line number for
a nonexistent file?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]