> -----Original Message----- > From: Honnappa Nagarahalli <[email protected]> > Sent: Wednesday, September 14, 2022 9:08 PM > To: [email protected]; Juraj Linkeš <[email protected]>; Bruce > Richardson <[email protected]> > Cc: [email protected]; [email protected]; > [email protected]; [email protected]; [email protected]; nd <[email protected]>; > nd <[email protected]> > Subject: RE: [PATCH v4 2/9] dts: add developer tools > > <snip> > > > > > 14/09/2022 15:13, Bruce Richardson: > > > On Wed, Sep 14, 2022 at 12:45:00PM +0000, Juraj Linkeš wrote: > > > > From: Honnappa Nagarahalli > > > > > > > On Fri, Jul 29, 2022 at 10:55:43AM +0000, Juraj Linkeš wrote: > > > <snip> > > > > > > > > diff --git a/dts/format.sh b/dts/format.sh new file mode > > > > > > > > 100755 > > > > > Should this be in dpdk/devtools directory? If yes, need a > > > > > different name for the script, dts-fix-format.sh? > > > > > > > > We should decide where we'll put it, either to dpdk/devtools or > > > > dpdk/dts/devtools. So far I have it in dpdk/dts/devtools, but it > > > > may make more sense to put it into dpdk/devtools. > > > > > > Third option of "devtools/dts". I'd like to have it either in the > > > devtools directory directly, or in a subdirectory of devtools. > > > > I am OK with devtools/dts/ or direcly in dts/ DTS *is* a developer tool, > > right? > > So why some scripts should be in a different directory? > > +1 for devtools/dts > >
I like this as well, I'll move them there.
