Re: RFC: Additional Directory for Extensions
От | Jelte Fennema-Nio |
---|---|
Тема | Re: RFC: Additional Directory for Extensions |
Дата | |
Msg-id | CAGECzQToWMjArU7Vrz3E-x6uwdwFzOG+CfF5Vc9c8_nOhkoPrQ@mail.gmail.com обсуждение исходный текст |
Ответ на | Re: RFC: Additional Directory for Extensions ("David E. Wheeler" <david@justatheory.com>) |
Ответы |
Re: RFC: Additional Directory for Extensions
|
Список | pgsql-hackers |
On Mon, 24 Jun 2024 at 22:42, David E. Wheeler <david@justatheory.com> wrote: > >> BINDIR > >> DOCDIR > >> HTMLDIR > >> PKGINCLUDEDIR > >> LOCALEDIR > >> MANDIR > >> > >> I can imagine an extension wanting or needing to use any and all of these. > > > > Are these really all relevant to backend code? > > Oh I think so. Especially BINDIR; lots of extensions ship with binary applications. And most ship with docs, too (PGXSputs items listed in DOCS into DOCDIR). Some might also produce man pages (for their binaries), HTML docs, and otherstuff. Maybe an FTE extension would include locale files? > > I find it pretty easy to imagine use cases for all of them. So much so that I wrote an extension binary distribution RFC[1]and its POC[2] around them. Definitely agreed on BINDIR needing to be supported. And while lots of extensions ship with docs, I expect this feature to mostly be used in production environments to make deploying extensions easier. And I'm not sure that many people care about deploying docs to production (honestly lots of people would probably want to strip them). Still, for the sake of completeness it might make sense to support this whole list in extension_destdir. (assuming it's easy to do)
В списке pgsql-hackers по дате отправления: