[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#77566: [PATCH] Add option for automatically delete non-existent proj
From: |
Elijah Gabe Pérez |
Subject: |
bug#77566: [PATCH] Add option for automatically delete non-existent projects. |
Date: |
Sun, 06 Apr 2025 18:39:28 -0600 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/31.0.50 |
Ship Mints <shipmints@gmail.com> writes:
> I think we need to call zombies something else and also consider that remote
> files may need to be
> ignored by the zombie checker to reduce the costs of checking project paths,
> to avoid tramp prompts for
> an internal function, and to accommodate that not all tramp connections are
> available all the time and
> those may not be reachable and should not be considered zombies.
Something like to this patch?
0001-Add-option-for-automatically-delete-non-existent-pro.patch
Description: Text Data
I don't have a remote project so I can't test it.
> Setting aside the zombie name for now, hHow about calling
> 'project-auto-forget-zombie-projects'
> 'project-prune-zombie-projects' and rather than boolean, accept symbols that
> could include something
> like 'list-read 'list-write nil so users can decide when pruning happens.
I've added them and also an `all' option which mix `list-read' and
`list-write'.
> Could we rename report-message to no-message and change when to unless to
> keep it uniform? The
> word report suggests things other than merely allowing messages.
I've added it as an additional optional argument.
--
- E.G via GNU Emacs and Org.
- bug#77566: [PATCH] Add option for automatically delete non-existent projects., Elijah Gabe Pérez, 2025/04/05
- bug#77566: [PATCH] Add option for automatically delete non-existent projects., Sean Whitton, 2025/04/05
- bug#77566: [PATCH] Add option for automatically delete non-existent projects., Elijah Gabe Pérez, 2025/04/05
- bug#77566: [PATCH] Add option for automatically delete non-existent projects., Dmitry Gutov, 2025/04/07
- bug#77566: [PATCH] Add option for automatically delete non-existent projects., Juri Linkov, 2025/04/07
- bug#77566: [PATCH] Add option for automatically delete non-existent projects., Dmitry Gutov, 2025/04/07
- bug#77566: [PATCH] Add option for automatically delete non-existent projects., Juri Linkov, 2025/04/08
- bug#77566: [PATCH] Add option for automatically delete non-existent projects., Elijah Gabe Pérez, 2025/04/07
- bug#77566: [PATCH] Add option for automatically delete non-existent projects., Dmitry Gutov, 2025/04/07
bug#77566: [PATCH] Add option for automatically delete non-existent projects., Dmitry Gutov, 2025/04/07