Daniel Kiper writes:
> On Fri, Nov 04, 2022 at 01:05:37PM -0400, Robbie Harwood wrote:
>
>> ---
>> grub-core/commands/help.c | 2 ++
>> grub-core/normal/main.c | 3 ++-
>> 2 files changed, 4 insertions(+), 1 deletion(-)
>>
>> diff --git a/grub-core/commands/help.c b/grub-core/commands/help.c
>
On Fri, Nov 04, 2022 at 01:05:37PM -0400, Robbie Harwood wrote:
> This is not an ideal solution, as interactive users must always ru na
> command in order to get the behavior they want, but it avoids
> problematic interactions between prompting and sourcing files.
>
> Signed-off-by: Robbie Harwood
