This is a good point. It's probably a good idea to have different behaviour
depending on "interative" vs. "non-interactive" use.
Having a mandatory "--interacitev" option seems heavy-handed though. On Linux
at least, you can automatically detect "interactive" input by checking if
stdout is attached to a tty. This is pretty standard behaviour. For example,
compare the outputs of
$ ls # versus
$ ls | cat
They differ, with the latter ls acting like the '-1' option was passed, for
easier line-oriented parsing.
Benoit <[email protected]> wrote:
> I think the changes proposed by DAW, with Mario's remarks, would be a nice
> addition, adhering to standard practices and POSIX.
>
> As for the call with no arguments, maybe the command
> $ mmj2
> could simply prompt something like
> Name of the database to open:
>
> As for FL's remark: being able to select the database from a menu would be
> nice indeed, but this would require a change in the mmj2 program, whereas
> DAW's proposal is to simply add a wrapper without changing mmj2 itself.
>
> Benoît
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/3VRUMOXZD6H8M.2B5TIHED6U2ZB%40wilsonb.com.
