On Thu, Jul 01, 2021 at 07:31:19AM +0200, Helmut Grohne wrote:
> There is no need to read the whole discussion. My bug submission
> contains the most important parts. If you have any other questions, just
> ask and I'll answer them on the bug.
>
> What other files do you have in mind that could managed similarly?
>
> Do I understand correctly that you agree with the approach taken in this
> patch?
Yes, I think it's fine.
I don't have any other files in mind, and I suppose the existence of
{add,remove}-shell suggests that there are not any suitably similar
files, but if there were I think it would be worth exploring some
more generic mechanisms and naming.
