[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#52507: [PATCH] Option for vc-delete-file to keep file on disk
From: |
Juri Linkov |
Subject: |
bug#52507: [PATCH] Option for vc-delete-file to keep file on disk |
Date: |
Sun, 26 Dec 2021 19:43:20 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (x86_64-pc-linux-gnu) |
>> I doubt that anyone might want to commit the file deletion immediately,
>> because file deletions usually are committed together with other changes.
>
> Right. That's why I suggested either to have a buffer-local var to store
> the "to be deleted" status, or do that in the staging area first.
>
>> But maybe git has a way to mark a file as deleted without actually deleting
>> it?
>> So `git status --porcelain -z --untracked-files` could return "D" for such
>> file
>> that still exists, this would be the simplest solution.
>
> 'git rm --cached', used in the patch for this issue originally, is indeed
> such command. Unless I misunderstood the question.
>
> $ git rm --cached CONTRIBUTE
> rm 'CONTRIBUTE' $ git status --porcelain
> --untracked-files
> D CONTRIBUTE
> ?? CONTRIBUTE
Both "D " and "??" correspond to the 'unregistered' status in vc-dir
according to 'vc-git--git-status-to-vc-state':
(defun vc-git--git-status-to-vc-state (code-list)
...
('("D " "??") 'unregistered)
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Ashwin Kafle, 2021/12/15
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Juri Linkov, 2021/12/15
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Ashwin Kafle, 2021/12/15
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Juri Linkov, 2021/12/15
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Ashwin Kafle, 2021/12/15
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Ashwin Kafle, 2021/12/15
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Juri Linkov, 2021/12/16
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Dmitry Gutov, 2021/12/19
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Juri Linkov, 2021/12/23
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Dmitry Gutov, 2021/12/23
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk,
Juri Linkov <=
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Dmitry Gutov, 2021/12/26
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Ashwin Kafle, 2021/12/26
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Ashwin Kafle, 2021/12/26
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Dmitry Gutov, 2021/12/26
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Ashwin Kafle, 2021/12/26
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Dmitry Gutov, 2021/12/26
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Ashwin Kafle, 2021/12/26
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Dmitry Gutov, 2021/12/26
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Ashwin Kafle, 2021/12/26
- bug#52507: [PATCH] Option for vc-delete-file to keep file on disk, Dmitry Gutov, 2021/12/26