On Fri, 7 Oct 2022 20:03:52 +1100 David Gibson wrote: > On Fri, Oct 07, 2022 at 10:15:25AM +0200, Stefano Brivio wrote: > > On Fri, 7 Oct 2022 17:57:43 +1100 > > David Gibson wrote: > > > > > On Fri, Oct 07, 2022 at 02:47:40AM +0200, Stefano Brivio wrote: > > > > Now that we can log to file, this might start to be relevant. > > > > > > Uh... I dont' understand the connection here. > > > > Because we might have a pile of log files collected somewhere (or > > logs shared by users) and this adds the version to the log file. > > But how is that different with a system logger? Files tend to pile up in random places, at least for me. :) The syslog goes away, and nobody is going to share that with me. Anyway, fine, I can rephrase this. -- Stefano