Re: [PATCH v5] tools/xenstore: move xenstored sources into dedicated directory

[Julien Grall <julien@xxxxxxx>]

Hi,

On 18/08/2023 15:20, Andrew Cooper wrote:
> On 18/08/2023 3:08 pm, Juergen Gross wrote:
> > diff --git a/.gitignore b/.gitignore
> > index c1b73b0968..c6489c4e70 100644
> > --- a/.gitignore
> > +++ b/.gitignore
> > @@ -237,22 +237,22 @@ tools/xenmon/xentrace_setmask
> >   tools/xenmon/xenbaked
> >   tools/xenpaging/xenpaging
> >   tools/xenpmd/xenpmd
> > -tools/xenstore/xenstore
> > -tools/xenstore/xenstore-chmod
> > -tools/xenstore/xenstore-control
> > -tools/xenstore/xenstore-exists
> > -tools/xenstore/xenstore-list
> > -tools/xenstore/xenstore-ls
> > -tools/xenstore/xenstore-read
> > -tools/xenstore/xenstore-rm
> > -tools/xenstore/xenstore-watch
> > -tools/xenstore/xenstore-write
> > -tools/xenstore/xenstored
> > +tools/xenstored/xenstored
> >   tools/xentop/xentop
> >   tools/xentrace/xentrace_setsize
> >   tools/xentrace/tbctl
> >   tools/xentrace/xenctx
> >   tools/xentrace/xentrace
> > +tools/xs-clients/xenstore
> > +tools/xs-clients/xenstore-chmod
> > +tools/xs-clients/xenstore-control
> > +tools/xs-clients/xenstore-exists
> > +tools/xs-clients/xenstore-list
> > +tools/xs-clients/xenstore-ls
> > +tools/xs-clients/xenstore-read
> > +tools/xs-clients/xenstore-rm
> > +tools/xs-clients/xenstore-watch
> > +tools/xs-clients/xenstore-write
> >   xen/**/*.i
> >   xen/**/*.s
> >   xen/.banner
> Please take the opportunity to move these into local .gitignore files.
> One less area of churn in future renaming.  Probably can be fixed on
> commit as its only mechanical.
If you end up to the be committer then sure. I would prefer not doing it 
while committing.
Cheers,

--
Julien Grall