Hello,

Some time has passed...

I noticed changes in regards to this discussion on GitHub. Thanks for
the work behind.

I will build and try it.

Greg
__
G. Vanuxem

Le mer. 5 août 2020 à 22:18, Waldek Hebisch <[email protected]> a écrit :
>
> On Wed, Aug 05, 2020 at 10:04:03PM +0200, Ralf Hemmecke wrote:
> > On 8/2/20 7:29 PM, Waldek Hebisch wrote:
> > > Well, I do not like introducing double dash as alternative (as
> > > having single way makes thing simpler to explain), but otherwise
> > > no strong reason against such change.  IMO main thing is to
> > > replace obsolete message about workspaces by help.
> >
> > OK, either all people are on holiday or there is nobody interested
> > enough in that issue.
> >
> > So I take my double-dash options back and only cleaned the script a
> > little and introduced --help and --version.
> >
> > I also replaced this -ws comment by the complete usage message.
> >
> > Furthermore, for -nogo I also print the value of the FRICAS variable,
> > because it is necessary for the actual running of FRICASsys.
> >
> > top 2 commits of:
> >
> > https://github.com/hemmecke/fricas/commits/help-version
> >
> > I feel that it's a good idea to also list the underlying lisp, but I
> > don\t insist on it.
> >
> > I just want to get it in so that I can work with --version.
> >
> > Hopefully, acceptable now.
>
> Yes, please commit.
>
> --
>                               Waldek Hebisch
>
> --
> You received this message because you are subscribed to the Google Groups 
> "FriCAS - computer algebra system" 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/fricas-devel/20200805201811.GA17455%40math.uni.wroc.pl.

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" 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/fricas-devel/CAHnU2dYJ%3DYD7vxEsDBYkL9DNsE4SxV8o%2B3RF%3DDewc77-pVY8Yw%40mail.gmail.com.

Reply via email to