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. ~Andrew