[Metamath] Re: (FL) Re: Proposal: Change mmj2's CLI

2020-05-13 Thread Norman Megill
Forwarded Message Subject: Widget Date: Wed, 13 May 2020 12:57:06 +0200 (CEST) From: fl To: Megill Norman Hi Norm, can you post this: I insist. Why not opening the files using a widget accessed from the menu ? There are such standard widgets in every library. They are easy

Re: [Metamath] Re: (FL) Re: Proposal: Change mmj2's CLI

2020-05-13 Thread André L F S Bacci
On Wed, May 13, 2020 at 11:18 AM Benoit 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

[Metamath] Re: (FL) Re: Proposal: Change mmj2's CLI

2020-05-13 Thread Benoit
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