Ajouter une extension
On peut ajouter une extension en jouant l'ordre DDL suivant:CREATE EXTENSION extension_name
(Il y a des chance qu'il faille installer l'extension sur le serveur avant, suivez bien les instructions du manuel de l'extension).Supprimer une extension
Là, le manuel de l'extension va rarement vous aider, mais c'est tout simple:DROP EXTENSION extension_name
Vous pouvez alors droper les packages et autres codes source que vous aviez téléchargés et compilés pour installer l'extension en question.Savoir où c'est utilisé
Les extensions, c'est chouette... Mais c'est mieux de savoir où c'est utilisé. Pour ce faire, le mieux est de requêter la table pg_extension.
Celle de DROP EXTENSION est là.
Celle de ALTER EXTENSION est là.
Et celle de pg_extension est là.
Pour en savoir plus
La documentation de CREATE EXTENSION est ici.Celle de DROP EXTENSION est là.
Celle de ALTER EXTENSION est là.
Et celle de pg_extension est là.