Re: improve CREATE EXTENSION error message

"Bossart, Nathan" <bossartn@amazon.com> writes:
> Alright, here's v3.  In this version, I actually removed the message
> about the control file entirely, so now the error message looks like
> this:

>         postgres=# CREATE EXTENSION does_not_exist;
>         ERROR:  extension "does_not_exist" is not available
>         DETAIL:  The extension must first be installed on the system where PostgreSQL is running.
>         HINT:  The pg_available_extensions view lists the extensions that are available for installation.

I don't think that HINT is useful at all, and I agree with Chapman
that we should still show the filename we tried to look up,
just in case there's a path problem or the like.

            regards, tom lane