<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 >
