Hi Guillem, On 4/17/23 01:35, Guillem Jover wrote: > Use Ctrl-Alt-Del instead of ctrl-alt-del, as used in all other > instances. > > Signed-off-by: Guillem Jover Patch applied; thanks! Cheers, Alex > --- > man5/proc.5 | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/man5/proc.5 b/man5/proc.5 > index a3b5ffc7b..535bbc61b 100644 > --- a/man5/proc.5 > +++ b/man5/proc.5 > @@ -5001,7 +5001,7 @@ When the value is greater than zero, Linux's reaction to a Vulcan > Nerve Pinch (tm) will be an immediate reboot, without even > syncing its dirty buffers. > Note: when a program (like dosemu) has the keyboard in "raw" > -mode, the ctrl-alt-del is intercepted by the program before it > +mode, the Ctrl-Alt-Del is intercepted by the program before it > ever reaches the kernel tty layer, and it's up to the program > to decide what to do with it. > .TP -- GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5