mirror of
https://github.com/EnterpriseDB/repmgr.git
synced 2026-03-22 22:56:29 +00:00
Tweak extension configuration
This commit is contained in:
@@ -9,6 +9,8 @@ MODULE_big = repmgr
|
|||||||
|
|
||||||
EXTENSION = repmgr
|
EXTENSION = repmgr
|
||||||
|
|
||||||
|
DATA = repmgr--4.0.sql
|
||||||
|
|
||||||
# Hacky workaround to install the binaries
|
# Hacky workaround to install the binaries
|
||||||
SCRIPTS_built = repmgr4 repmgrd4
|
SCRIPTS_built = repmgr4 repmgrd4
|
||||||
|
|
||||||
|
|||||||
7
repmgr--4.0.sql
Normal file
7
repmgr--4.0.sql
Normal file
@@ -0,0 +1,7 @@
|
|||||||
|
-- complain if script is sourced in psql, rather than via CREATE EXTENSION
|
||||||
|
\echo Use "CREATE EXTENSION repmgr" to load this file. \quit
|
||||||
|
|
||||||
|
CREATE TABLE nodes (
|
||||||
|
node_id INTEGER PRIMARY KEY,
|
||||||
|
type TEXT NOT NULL CHECK (type IN('master','standby','witness','bdr'))
|
||||||
|
);
|
||||||
@@ -1,7 +1,8 @@
|
|||||||
# repmgr extension
|
# repmgr extension
|
||||||
comment = 'Replication manager for PostgreSQL'
|
comment = 'Replication manager for PostgreSQL'
|
||||||
default_version = '4.0.0.0'
|
default_version = '4.0'
|
||||||
module_pathname = '$libdir/repmgr'
|
module_pathname = '$libdir/repmgr'
|
||||||
relocatable = false
|
relocatable = false
|
||||||
schema = pg_catalog
|
schema = repmgr
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user