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

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.

-Mike

On Fri, May 3, 2024 at 10:50 AM Benno Schulenberg <[email protected]>
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?
>
>
> Benno
>
>