On Sat, 11 Apr 2020 at 19:36, Michael Paquier <mich...@paquier.xyz> wrote:
> Yeah, their stuff is nice. Another nice thing is that git has the > possibility to scan as well for custom scripts as long as they respect > the naming convention, like having a custom script called "git-foo", > that can be called as "git foo". > … which could be installed by an extension perhaps. Wait, that doesn't quite work because it's usually one bin directory per version, not per database. Still maybe something can be done with that idea.