RE: [ITA] ocaml 4.14.0

2022-08-23 Thread David Allsopp
Jon Turney wrote: > On 13/07/2022 16:41, David Allsopp wrote: > > > >> 3) Interesting - on my machine, the camlheader[di] files had the .exe > >> extensions. I did some digging around and found the files are *built* > >> without the .exe suffix, and even *initially installed* without the > >>

Re: [PATCH setup] Add new option --chown-admin

2022-08-23 Thread Christian Franke
Jon Turney wrote: On 12/07/2022 13:50, Jon Turney wrote: [Replying to the right list this time...] On 09/07/2022 13:21, Christian Franke wrote: [...] The UserSettings ctor has a somewhat hidden side effect which sets root_scope correctly:   UserSettings::UserSettings(...);   

Re: [PATCH setup] Keyboard accelerators for install/reinstall/uninstall

2022-08-23 Thread Christian Franke
Jon Turney wrote: On 22/08/2022 16:29, Christian Franke wrote: Jon Turney wrote: On 14/08/2022 12:57, Christian Franke wrote: This eases state changes of a selected sequence of packages. Nice!  The keyboard control of the package chooser was a bit of an after-thought, which it really

Re: [PATCH setup] Add new option --chown-admin

2022-08-23 Thread Jon Turney
On 12/07/2022 13:50, Jon Turney wrote: [Replying to the right list this time...] On 09/07/2022 13:21, Christian Franke wrote: [...] The UserSettings ctor has a somewhat hidden side effect which sets root_scope correctly:   UserSettings::UserSettings(...);    open_settings("setup.rc", ...);

Re: [PATCH setup] Keyboard accelerators for install/reinstall/uninstall

2022-08-23 Thread Jon Turney
On 22/08/2022 16:29, Christian Franke wrote: Jon Turney wrote: On 14/08/2022 12:57, Christian Franke wrote: This eases state changes of a selected sequence of packages. Nice!  The keyboard control of the package chooser was a bit of an after-thought, which it really shouldn't be. Thanks -