On Wed, 6 Sept 2023 at 23:51, Sam Hartman <hartm...@debian.org> wrote: > > >>>>> "Luca" == Luca Boccassi <bl...@debian.org> writes: > Luca> /bin/sh is not universally compatible with non-Linux OSes. > > I claim it is more compatible. > > Luca> Also I thought that policy should not be used to beat other > Luca> developers (it is because of this) and it should reflect the > Luca> common practices adopted in Debian (it does not because of > Luca> this). Is that no longer the case? > > I'd consider it a non-RC bug if someone were manually writing > #!/usr/bin/sh > > We can debate about normal vs minor. > > I do not think it should be a bug if some automated build process found > /usr/bin/sh and stuck that into a script. > I'd support a policy change to make that clear.
How would such a change look like?