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

2020-11-27 Thread Johannes Schauer
Hi, thanks a lot for not considering this bug as out-of-scope. :) Quoting Gilles Filippini (2020-11-01 14:09:59) > Gilles Filippini a écrit le 31/10/2020 à 15:11 : > > Johannes 'josch' Schauer a écrit le 27/10/2020 à 18:45 : > >> Package: libhdf5-openmpi-dev > >> Version: 1.10.6+repack-2 > >>

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

2020-11-01 Thread Gilles Filippini
Gilles Filippini a écrit le 31/10/2020 à 15:11 : > Hi Josh, > > Johannes 'josch' Schauer a écrit le 27/10/2020 à 18:45 : >> 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 >>

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

2020-10-31 Thread Gilles Filippini
Hi Josh, Johannes 'josch' Schauer a écrit le 27/10/2020 à 18:45 : > 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

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

2020-10-27 Thread 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: