system.3: Correctly note which shell Debian uses as (noninteractive) /bin/sh
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
diff --git a/man3/system.3 b/man3/system.3
index 16ac789..eba51ac 100644
--- a/man3/system.3
+++ b/man3/system.3
@@ -218,7 +218,9 @@
set-group-ID privileges on systems on which
.I /bin/sh
is bash version 2, since bash 2 drops privileges on startup.
-(Debian uses a modified bash which does not do this when invoked as
+(Debian uses a different shell,
+.BR dash (1),
+which does not do this when invoked as
.BR sh .)
.SH SEE ALSO
.BR sh (1),