Subject: Re: bug#22926: 24.5; `shell-command', `shell-command-default-error-buffer'

From: Lars Ingebrigtsen <[email-masked]>
Date: Sun, 01 May 2016 00:55:49 +0200

Eli Zaretskii <[email-masked]> writes:

>> 2. `shell-command-default-error-buffer': Make it a user option.
>
> Not sure it's necessary.

I agree.  And I think you covered the other points in this bug report...

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