Subject: Re: bug#39138: 28.0.50; Add variables for shell command output buffer names

From: Lars Ingebrigtsen <[email-masked]>
Date: Tue, 11 Aug 2020 13:16:53 +0200

Juri Linkov <[email-masked]> writes:

> Often they don't see the buffer names - when the shell output is less
> than 16 lines long, then the shell buffer is not displayed, so users
> need to know the shell buffer name to be able to switch to it.  They need
> to learn the buffer name from the User Manual.

Yeah, it might make sense to mention the (default value of) the
variables in the user manual.

I've now reintroduced the buffer names in the user manual (but also
mentioned the variables parenthetically).

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no