Hi, On Tue, Jun 11, 2024 at 5:02 PM Jelte Fennema-Nio <postg...@jeltef.nl> wrote: > > On Tue, 11 Jun 2024 at 11:54, Ashutosh Sharma <ashu.coe...@gmail.com> wrote: > > 1) Extends the CREATE EXTENSION command to support a new option, SET > > SEARCH_PATH. > > > I don't think it makes sense to add such an option to CREATE EXTENSION. > I feel like such a thing should be part of the extension control file > instead. That way the extension author controls the search path, not > the person that installs the extension.
If the author has configured the search_path for any desired function, using this option with the CREATE EXTENSION command will not affect those functions. -- With Regards, Ashutosh Sharma.
