Re: [RFA 3/3] Document 'set|show exec-file-mismatch (reload|warn|off)'

Eli Zaretskii
2019-12-22T18:20:13Z

> From: Philippe Waroquiers <philippe.waroquiers@skynet.be>
> Cc: gdb-patches@sourceware.org
> Date: Sat, 21 Dec 2019 21:15:48 +0100
>
> However, your comments make me think that the words used
> in the command itself might have to be improved, as the
> word "reload" seems confusing.

Yes, I've misunderstood what it means. The text needs to be rewritten
to make clear what this feature tries to detect. An example you've
shown could be a good idea.

> So, maybe "reload" in 'set exec-file-mismatch reload|warn|off' should be replaced
> by a less confusing word?
>
> Maybe 'set exec-file-mismatch ask-to-load|warn|off' ?

How about ask|warn|off ?