On Mon, 10 Sep 2018, Sven Schreiber wrote:
Am 10.09.2018 um 21:16 schrieb Allin Cottrell:
> On Mon, 10 Sep 2018, Sven Schreiber wrote:
>
>
>> OK, as long as 'extra' is shipped with gretl (which it now is, IIRC)
>> I think it would not be more difficult for the user to call this new
>> function instead of applying the current solution.
>
> In fact "extra" is not currently shipped with gretl. That could be
> easily arranged, but in that case I think it would be best to put it
> into git and treat it as an "addon". That way, as with the other
> addons, it would always be up to date in snapshots, and prior versions
> would be retained whenever the gretl version requirement is bumped up.
> Any thoughts on that?
>
I thought we discussed this at some point not so long ago, but maybe
without reaching a firm decision.
I have a vague memory of that too...
Also I cannot find any traces of the discussion, so maybe I'm
mixing
things up. But in principle it seems logical I guess. Any
disadvantages involved?
I can't really think of any offhand.
Allin