>/Date: Thu, 11 Aug 2022 11:23:52 +0200/
>/From: Harald Judt <h.judt@gmx.at>/
>//
>/I have found an explanation for my own question: The problem is that after a /
>/dired-do-xxxx command, the buffer of the _target_ directory will be /
>/refreshed. /
>/But the target directory of /home/user/tmp/test/a/a would be /
>//home/user/tmp/test/a/, and that is different from the one used in the base /
>/dir of the cons (/home/user/). In fact, if I add a file /home/user/x and add /
>/that to the file list and delete it, the buffer will be reverted correctly. /
>/If /
>/I delete any of the other files, it won't./
>//
>/Now, what could I do to programmatically revert the current dired buffer /
>/after /
>/executing a dired-do command?/
I have posted a patch that's supposed to fix this. Please try it.