diff options
| author | Jason Cox <me@jasoncarloscox.com> | 2024-01-09 09:18:01 -0500 |
|---|---|---|
| committer | Robin Jarry <robin@jarry.cc> | 2024-01-17 12:03:00 +0100 |
| commit | 216ef0736b3defd2cecc9ff6ae049f70c01975b3 (patch) | |
| tree | fdd7d0181391cd450f21b3dba2eeb598df7f34ca /lib | |
| parent | ec8b22b8eec40a745978547f296c2ab3ad2a5569 (diff) | |
| download | aerc-216ef0736b3defd2cecc9ff6ae049f70c01975b3.tar.gz | |
rmdir: allow removing non-empty query dirs
Notmuch query directories aren't backed by a filesystem directory, so
deleting them doesn't actually delete any messages. Allow removing such
directories even when they aren't empty to avoid the need to use the
somewhat scary -f flag.
Signed-off-by: Jason Cox <me@jasoncarloscox.com>
Reviewed-by: Koni Marti <koni.marti@gmail.com>
Acked-by: Robin Jarry <robin@jarry.cc>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions