On Tue 14 Feb 2023 at 14:02:05 +0100, Nicolas George wrote: > Greg Wooledge (12023-02-14): > > It's certainly more than "the error messages went away". > > Yes, but Reco was smarter than us, with the "> /dev/null". OK, my belief, backed up by experience, is that sudo is not needed to obtain the specific information I was after. -- Brian.