[PATCH v5 1/3] New remove-symbol-file command.

[Luis Machado]

On 06/04/2013 06:40 PM, Blanc, Nicolas wrote:
>
>> Still, IWBN to be able to specify a file name.  Maybe even a regex.
>> That doesn't have to be implemented today, but IWBN to confirm it can be added later without any trouble.
>> Presumably "remove-symbol-file -r" will cause an error, and thus tomorrow we could implement "remove-symbol-file -r regex".
>> ?
>>
>> OTOH, one could have "remove-symbol-file file" or "remove-symbol-file regex", and require the address version to be specified as "remove-symbol-file -a addr".
>>
>> Which will be more common?
>
> It would be ok for me to support the following command switches:
>
> remove-symbol-file addr ADDR
> remove-symbol-file file FILE
>
> So for instance remove-symbol-file file /tmp/myfile.so would then
> remove the first user-added occurrence of /tmp/myfile.so.
> Additional switches and options could then be implemented later on.
>
> Please let me know if you would be happy with this change. Does
> anyone have an objection to the syntax above?

Personally i like Doug's suggestions better, namely the -a, -r and -f 
switches, for example.