|
From: | Dmitry Gutov |
Subject: | bug#52507: [PATCH] Option for vc-delete-file to keep file on disk |
Date: | Sun, 26 Dec 2021 17:57:07 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0 |
On 26.12.2021 18:51, Ashwin Kafle wrote:
Dmitry Gutov<dgutov@yandex.ru> writes:On 26.12.2021 17:23, Ashwin Kafle wrote:Say you use the current vc-delete-file and then immediately restore it from backup (before commiting). VC will show the file as unregistered. I think this behavior of vc should be fixed instead.What would you have it do instead?I think a better way would be to show two files in vc-dir one saying unregistered and one saying deleted. You mark the one saying deleted then commit that fileset which will not be present after being commited.
All right.Well, it seems like it will add more cognitive load in the "common" scenario -- where you end up deleting the file you said you want to delete.
And it will be a breaking change in the existing behavior/UI.
That mechanism can also be used for git add -p as you can show staged file and unsatged file separately.
Perhaps it we added a different UI for staging and committing from staging area (like in Magit), it could both be presented better and avoid bothering the existing users who like the simpler workflow.
[Prev in Thread] | Current Thread | [Next in Thread] |