[PATCH v3 1/2] dts: add symbolic link to dpdk-devbind script

[jspewock at iol.unh.edu]

From: Jeremy Spewock <jspewock at iol.unh.edu>

The devbind script is used throughout DTS to manage drivers on the
remote hosts. Currently, the only way to copy this script onto a host
is to either copy the entire DPDK directory onto a host, or reach out
of the dts directory into its parent DPDK directory to access the
script. The first is undesirable if the host doesn't require any other
DPDK tools since you would be copying extra unneeded information and
the second is undesirable since it enforces the assumption that DTS is
being run from within the DPDK directory. To solve this issue a symbolic
link is added which links the devbind script from the parent into the
DTS directory.

Since this file is not part of DTS and therefore is not expected to
follow DTS formatting rules, it is excluded from the DTS formatting
script.

Signed-off-by: Jeremy Spewock <jspewock at iol.unh.edu>
---
 devtools/dts-check-format.sh | 9 +++++----
 dts/dpdk-devbind.py          | 1 +
 2 files changed, 6 insertions(+), 4 deletions(-)
 create mode 120000 dts/dpdk-devbind.py

diff --git a/devtools/dts-check-format.sh b/devtools/dts-check-format.sh
index 3f43e17e88..adc199d34e 100755
--- a/devtools/dts-check-format.sh
+++ b/devtools/dts-check-format.sh
@@ -13,6 +13,7 @@ usage() {
 format=true
 lint=true
 typecheck=true
+ignore="dpdk-devbind.py"
 
 # Comments after args serve as documentation; must be present
 while getopts "hflt" arg; do
@@ -54,14 +55,14 @@ if $format; then
 			heading "Formatting in $directory/"
 			if command -v black > /dev/null; then
 				echo "Formatting code with black:"
-				black .
+				black --exclude "$ignore" .
 			else
 				echo "black is not installed, not formatting"
 				errors=$((errors + 1))
 			fi
 			if command -v isort > /dev/null; then
 				echo "Sorting imports with isort:"
-				isort .
+				isort --skip "$ignore" .
 			else
 				echo "isort is not installed, not sorting imports"
 				errors=$((errors + 1))
@@ -90,7 +91,7 @@ if $lint; then
 	fi
 	heading "Linting in $directory/"
 	if command -v pylama > /dev/null; then
-		pylama .
+		pylama --skip "$ignore" .
 		errors=$((errors + $?))
 	else
 		echo "pylama not found, unable to run linter"
@@ -104,7 +105,7 @@ if $typecheck; then
 	fi
 	heading "Checking types in $directory/"
 	if command -v mypy > /dev/null; then
-		mypy .
+		mypy --exclude "$ignore" .
 		errors=$((errors + $?))
 	else
 		echo "mypy not found, unable to check types"
diff --git a/dts/dpdk-devbind.py b/dts/dpdk-devbind.py
new file mode 120000
index 0000000000..9d042fad14
--- /dev/null
+++ b/dts/dpdk-devbind.py
@@ -0,0 +1 @@
+../usertools/dpdk-devbind.py
\ No newline at end of file
-- 
2.46.0