On 25/02/2019 22:26, Mandy Chung wrote:
Adding the "-files" suffix sounds good to me. I'm okay
with omit-debuginfo-files or exclude-debuginfo-files.
One comment though this is a plugin option name rather than
a plugin name (so not necessarily to consider consistency
with plugin names).
True although one of those existing plugin options is --exclude-files
which which can be used to do the equivalent of exclude-debuginfo-files.
So I think it's mildly better to have these consistent if we can.
-Alan.