[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2]
From: |
Philippe Mathieu-Daudé |
Subject: |
Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals) |
Date: |
Thu, 4 Feb 2021 18:42:45 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.6.0 |
On 2/4/21 3:40 PM, Paolo Bonzini wrote:
> On 04/02/21 15:22, Wainer dos Santos Moschetta wrote:
>>>> -F: docs/interop/virtfs-proxy-helper.rst
>>>> +F: docs/tools/virtfs-proxy-helper.rst
>>>
>>> Unrelated, but Paolo once said helpers are not tools.
>
> I think helpers is not a good word. However, if an executable:
>
> - can be started directly by QEMU, or is not useful without an emulator
>
> - is usually too complex for a user to run manually
>
> then it should be documented in docs/interop (not docs/tools). Their
> sources however can be in tools/, that's not a problem at all.
I understand tools can be built/used standalone (no dependence),
while helpers are companion of another binary, thus dependent on it:
- we can build tools without emulator
- it is probably pointless to build an helper without its helpee
- some binaries can't be use without helpers
Maybe "companion" is a better candidate to describe?
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), (continued)
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), Daniel P . Berrangé, 2021/02/04
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), Peter Maydell, 2021/02/04
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), Paolo Bonzini, 2021/02/04
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), Daniel P . Berrangé, 2021/02/04
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), Philippe Mathieu-Daudé, 2021/02/04
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), Paolo Bonzini, 2021/02/04
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), Daniel P . Berrangé, 2021/02/04
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), Kevin Wolf, 2021/02/04
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), Peter Maydell, 2021/02/04
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), Paolo Bonzini, 2021/02/04
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals),
Philippe Mathieu-Daudé <=
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), Paolo Bonzini, 2021/02/04
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), Eric Blake, 2021/02/04
- Re: [RFC] Move tools sources to the tools directory (was Re: [PATCH v2] MAINTAINERS: Fix the location of tools manuals), John Snow, 2021/02/04