[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #56809] Dots in script file names should be al
From: |
Michael Leitner |
Subject: |
[Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed |
Date: |
Fri, 30 Aug 2019 03:38:32 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Firefox/52.0 |
Follow-up Comment #5, bug #56809 (project octave):
Not exactly. In my view you do not have to search the string for a script
file, you just take the whole string, append a ".m", and see if you find a
corresponding script file. In this sense, the secondary grammar is trivial.
And the primary grammar would be even simplified compared to the present case,
because as it is, it seems to have a notion of which script files exist, and
it even matches the tokens it finds against names of script files, even though
this will only ever work if the string name encompasses the whole expression.
In my proposal, you could drop the concept of script files completely from the
primary grammar. And you do not have to care about spaces: issuing "my script"
would fail in the primary grammar, but if there exists a file "my script.m",
octave would happily execute it (the days of DOS' 8.3 file name restrictions
are long gone, and spaces can be parts of file names in general, so why not in
octave scripts?).
Why do you think that this is not a good idea, apart from the argument that is
always valid, namely that there is an existing solution that works in most
cases, while a potentially better solution would need human effort?
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?56809>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [Octave-bug-tracker] [bug #56809] Dots in script file names, Michael Leitner, 2019/08/26
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, Rik, 2019/08/29
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, Mike Miller, 2019/08/29
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, Michael Leitner, 2019/08/29
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, Mike Miller, 2019/08/29
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed,
Michael Leitner <=
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, John W. Eaton, 2019/08/30
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, Michael Leitner, 2019/08/30
- [Octave-bug-tracker] [bug #56809] Dots in script file names should be allowed, Mike Miller, 2019/08/30