[j.1] std unix cmds w/o explicit '/usr/bin/' to make them more portable...

[j.1] std unix cmds w/o explicit '/usr/bin/' to make them more portable (docker has them in /bin/) ()

Merging branch 'j.1'  into 'main'.

See merge request !2512

devtools/deploy/linux/adjust_pkg_linux.sh.in

@@ -29,8 +29,8 @@ TITLE="Linux Package"
 HELP="$TITLE: Usage: bash adjust_pkg_linux.sh <pkg-root-dir>"
 
 # shell commands
-COPY="/usr/bin/cp -nf"
-MKDIR="/usr/bin/mkdir -p"
+COPY="cp -nf"
+MKDIR="mkdir -p"
 
 if [ -z $pkg_root_dir ]
 then

devtools/deploy/linux/mk_wheel_multilinux.sh.in

@@ -45,11 +45,11 @@ then
 fi
 
 echo "$TITLE: library directory $libdir:"
-/usr/bin/ls -l $libdir
+ls -l $libdir
 echo
 
 echo "$TITLE: extra library directory $xlibdir:"
-/usr/bin/ls -l $xlibdir
+ls -l $xlibdir
 echo
 
 # libraries allowed to be included in the package
@@ -113,14 +113,14 @@ echo
 
 echo "$TITLE: Rename the external libraries to their library ids"
 for xlib in $xlibdir/*.so*; do
-    /usr/bin/mv -v -f "$xlib" "$xlibdir/$(soname $xlib)"
+    mv -v -f "$xlib" "$xlibdir/$(soname $xlib)"
 done
 echo
 
 echo "$TITLE: Copy external libraries to '$xlibdir'..."
 for xlib in "${!deps_all[@]}"; do
     # NOTE: The final name must be the so-name of the library
-    /usr/bin/cp -v -f "${deps_all[$xlib]}" "$xlibdir/$xlib"
+    cp -v -f "${deps_all[$xlib]}" "$xlibdir/$xlib"
 done
 echo