On Wed, May 13, 2020 at 11:18 AM 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: > A GUI prompt? A command line prompt, waiting for input, is a bad practice. Command line programs are somewhat expected to act as "filters", not interactive programs. To active a interactive mode, a specific parameter like --interactive should be indicated, to "exit" from a default, filter mode. André -- 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/CAL1T4B0BR3%2B0fEsRPAwD0PwfXSZAixu2Yk-EvjuGfBE4U3kAgg%40mail.gmail.com.
