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

Previous Next

Full log

Message #11 received at 66518 <at> debbugs.gnu.org (full text, mbox):

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

On 13/10/2023 19:04, Philip Kaludercic wrote:
> Spencer Baugh<sbaugh <at> janestreet.com>  writes:
> 
>> Tags: patch
>>
>>
>> This is mildly prettier.
> Could this cause confusion, in case two projects share the same name?

I suppose this can indeed be problematic with the default backend, where 
project-name just returns the base name of the root directory (and they 
can conflict).

OTOH, we do use the project name as prefix for buffer names, for 
example. So this might be okay. Worst case, we add a user option later.

Previous Next

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