[Pkg-openmpi-maintainers] Bug#690929: openmpi1.6-bin: bashism in /bin/sh script

[Raphael Geissert]

Package: openmpi1.6-bin
Version: 1.6.2-2
Severity: important
User: debian-release at lists.debian.org
Usertags: goal-dash

Hello maintainer,

While performing an archive wide checkbashisms (from the 'devscripts' 
package) check I've found your package containing a /bin/sh script making 
use of a bashism.

checkbashisms' output:
>possible bashism in ./usr/bin/orte-bootproxy line 7 ('((' should be
>'$(('):
>if (( $# < 1 )) ; then
>possible bashism in ./usr/bin/orte-bootproxy line 72 (${foo:3[:1]}):
>while [ "${var:0:5}" = "OMPI_" ]; do
>possible bashism in ./usr/bin/orte-bootproxy line 73 (${foo:3[:1]}):
>    if [ "${var:5:6}" = "PREFIX" ]; then
>possible bashism in ./usr/bin/orte-bootproxy line 74 (${foo:3[:1]}):
>        export LD_LIBRARY_PATH="${var:12}"/lib:$LD_LIBRARY_PATH
>possible bashism in ./usr/bin/orte-bootproxy line 75 (${foo:3[:1]}):
>        export PATH="${var:12}"/bin:$PATH
>possible bashism in ./usr/bin/orte-bootproxy line 76 (${foo:3[:1]}):
>    elif [ "${var:5:4}" = "WDIR" ]; then
>possible bashism in ./usr/bin/orte-bootproxy line 77 (${foo:3[:1]}):
>        cd "${var:10}"

Not using bash (or a Debian Policy conformant shell interpreter which 
doesn't provide such an extra feature) as /bin/sh is likely to lead to 
errors or unexpected behaviours.

You can find hints about how to fix bashisms at:
https://wiki.ubuntu.com/DashAsBinSh

Thank you,
Raphael Geissert