On Mon, Mar 30, 2020 at 11:41 PM, Ard Biesheuvel wrote:
Not sure I follow. Which command line are we talking about?