Bug#1031354: closed by Paul Tagliamonte (Re: Bug#1031354: installation-reports: I cannot find /usr/bin/ps in any package, but it is normally installed with via an ISO install.)

age, but it is normally installed with via an ISO install. > Date: February 15, 2023 at 10:33:47 AM EST > To: Cyril Brulebois > Cc: Steve Roggenkamp , 1031354-d...@bugs.debian.org, > tia...@debian.org, paul...@debian.org > > > On Wed, Feb 15, 2023 at 04:30:25PM +

Bug#1031354: installation-reports: I cannot find /usr/bin/ps in any package, but it is normally installed with via an ISO install.

Package: installation-reports Severity: serious Tags: d-i Justification: Policy 3.7, 10.1 X-Debbugs-Cc: roggenka...@acm.org (Please provide enough information to help the Debian maintainers evaluate the report efficiently - e.g., by filling in the sections below.) Boot method: via a Docker build