Re: [PATCH 1/2] cli: allow users to disable history if unused at all

On Sat, Mar 02, 2024 at 12:35:12PM +0800, hanyuan wrote: > Hi Tom, > > Thanks for reviewing! I am not quite sure about the tests which > you refer to. Is it the CI in the gitlab? I think this patch is simple > and it doesn’t occur any errors during my work these days, thus I tested > it manually

Re: [PATCH 1/2] cli: allow users to disable history if unused at all

Hi Tom, Thanks for reviewing! I am not quite sure about the tests which you refer to. Is it the CI in the gitlab? I think this patch is simple and it doesn’t occur any errors during my work these days, thus I tested it manually which didn’t throw any problems, and sent it. Could you please give

Re: [PATCH 1/2] cli: allow users to disable history if unused at all

On Sat, Feb 17, 2024 at 09:54:43PM +0800, Hanyuan Zhao wrote: > This commit allows user to determine whether to have history recording > in command-line. Previously the history data as uninitialized static > array would not directly take much space in binary file since it only > marks size in the

[PATCH 1/2] cli: allow users to disable history if unused at all

This commit allows user to determine whether to have history recording in command-line. Previously the history data as uninitialized static array would not directly take much space in binary file since it only marks size in the binary. However now it asks to allocate space. By connecting the