[Freemint-list] FreeMiNT continuous integration

[Peter Slegg]

On Sun, 16 Apr 2017 23:58:30 , Miro Kropá?ek wrote:
> On 16 April 2017 at 23:38, Peter Slegg <p.slegg at scubadivers.co.uk> wrote:
>
> > Or have a hierarchy of mint.ini ?
> >
> > One in AUTO that can be overriden by one in the sysdir ?
> >
>
> I was so close to write it's impossible but actually, it's possible. :)
>
> mintloader could really read c:\auto\mint.ini (or c:\mint\mint.ini to be
> consistent), read useful information out of it for itself and pass it to
> forked c:\mint\mint-xxx\mint.prg, similarly as aranym bootstrap does, which
> could either ignore it (if there's c:\mint\mint-xxx\mint.ini) or use it (if
> there isn't). Nice!
>
> To make sure it wont be forgotten, feel free to write a feature request in
> github project's issue tracker as an exercise. ;-)
>

The only confusion would be what to show at boot time in the menu
since each mint folder has a different ini.

Netsurf crashes on github so it's not ideal at the moment.

Peter