GNU bug report logs - #52508
[PATCH] Option for vc-delete-file to keep file on disk

Previous Next

Package: emacs;

Reported by: Ashwin Kafle <ashwin <at> ashwink.com.np>

Date: Wed, 15 Dec 2021 12:56:03 UTC

Severity: normal

Merged with 52507

Done: Sean Whitton <spwhitton <at> spwhitton.name>

Bug is archived. No further changes may be made.

Full log

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

From: Eli Zaretskii <eliz <at> gnu.org>
To: rms <at> gnu.org
Cc: ashwin <at> ashwink.com.np, 52508 <at> debbugs.gnu.org, dgutov <at> yandex.ru
Subject: Re: bug#52508: [PATCH] Option for vc-delete-file to keep file on disk
Date: Sat, 18 Dec 2021 09:07:53 +0200

> From: Richard Stallman <rms <at> gnu.org>
> Date: Fri, 17 Dec 2021 23:41:15 -0500
> Cc: ashwin <at> ashwink.com.np, 52508 <at> debbugs.gnu.org, dgutov <at> yandex.ru
> 
>   > I've created the attached patch to have vc-delete file to keep files on
>   > disk using a prefix argument. I've only tested it for vc-git.
> 
> This may seem shocking, but what about changing vc-delete-file
> to ALWAYS preserve the local file?  In other words, to change ONLY the repo?

I think it would be unexpected.  VCS deletion usually means you delete
both the file on the local disk and tell the VCS to delete it from the
repository.
This bug report was last modified 166 days ago.

Previous Next

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