GNU bug report logs - #66518
[PATCH] Use project-name in the project-kill-buffers prompt

Previous Next

Full log

View this message in rfc822 format

From: Dmitry Gutov <dmitry <at> gutov.dev>
To: Spencer Baugh <sbaugh <at> janestreet.com>
Cc: 66518 <at> debbugs.gnu.org, Philip Kaludercic <philipk <at> posteo.net>
Subject: bug#66518: [PATCH] Use project-name in the project-kill-buffers prompt
Date: Tue, 17 Oct 2023 02:29:25 +0300

Version: 30.1

On 16/10/2023 21:48, Spencer Baugh wrote:
> My contention is that if the user is running this in the current
> project, they already basically know where they are, they just need a
> little reminder.  Plausibly not even that is necessary if they have
> project-mode-line enabled.  And if they're running it in another
> project, using project-switch-project, then they just explicitly
> selected a project so we definitely don't need to tell them the full
> path of the project they're running in.

That's a fair point.

Thank you, pushed to master, and closing.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.