Run DROP EXTENSION on extension deletion

Description

When we delete the extension files from the PostgreSQL extensions directory, the extension will no longer appear in pg_available_extensions, but it will still appear in pg_extension if it has already been installed. This is because pg_extension lists extensions that are currently installed in the database, regardless of whether they are available for new installations. If we want delete it from installed extensions we need to do

Currently we just delete extention from pg_available_extensions, as I see we can add as an option to delete extension from pg_extension list too.

Environment

None

Activity

Julio Pasinatto February 5, 2025 at 6:42 PM

Verified by e2e test custom-extensions

natalia.marukovich January 6, 2025 at 3:44 PM

I think that we can update documentation with the commands how to check either extension installed/deleted or not.
please ping me.

Slava Sarzhan January 3, 2025 at 12:29 PM

It was done. Do we need to add something in doc?

Done

Details

Assignee

Reporter

Labels

Needs QA

Yes

Needs Doc

Yes

Story Points

Sprint

Fix versions

Affects versions

Priority

Smart Checklist

Created June 17, 2024 at 1:31 PM
Updated March 17, 2025 at 5:49 PM
Resolved March 11, 2025 at 6:55 PM