Bug#973261: libhdf5-openmpi-dev: installing requires /proc being mounted

[Johannes 'josch' Schauer]

Package: libhdf5-openmpi-dev
Version: 1.10.6+repack-2
Severity: wishlist

Hi,

when installing libhdf5-openmpi-dev in a chroot that doesn't have /proc
mounted, one will get the following error:

Setting up libhdf5-openmpi-dev (1.10.6+repack-2) ...
/var/lib/dpkg/info/libhdf5-openmpi-dev.postinst: line 56: /dev/fd/63: No such 
file or directory
dpkg: error processing package libhdf5-openmpi-dev (--configure):
 installed libhdf5-openmpi-dev package post-installation script subprocess 
returned error exit status 1

The problem is, that the postinst script uses the bash-feature to write:

    while read x; do ... done < <(cmd2 args ...)

Fortunately, these instances can easily be rewritten as:

    cmd2 args | while read x; do ... done

Please consider making this change.

Thanks!

cheers, josch