PG_AUTOCTL DROP FORMATION(1)

πŸ’… pg_autoctl drop formation (manual page 1, pg_auto_failover)

okay bestie, welcome to pg_autoctl drop formation β€” yes that's the command, yes it's the manual, yes we're doing this together 🫢


✨ NAME ✨

pg_autoctl drop formation β€” literally just pg_autoctl drop formation, that's the name, that's the vibe.

pg_autoctl drop formation β€” it drops a formation on the pg_auto_failover monitor. gone. poof. bye girl πŸ’…


🌸 SYNOPSIS 🌸

so this command drops an existing formation on the monitor, and here's exactly what that looks like:

usage: pg_autoctl drop formation  [ --pgdata --formation ]

--pgdata      path to data directory
--monitor     pg_auto_failover Monitor Postgres URL
--formation   name of the formation to drop

πŸ‘‘ OPTIONS πŸ‘‘

  • --pgdata β€” where the Postgres node that's being managed locally lives. defaults to the environment variable PGDATA. and listen, you can use --monitor to connect to a monitor from anywhere, instead of the monitor URI that a local Postgres node managed with pg_autoctl is using. flexibility, we love her ✨
  • --monitor β€” the Postgres URI you use to connect to the monitor. it must use the autoctl_node username and target the pg_auto_failover database name. no cap. and if you need to see the Postgres URI, you can show it from the monitor node with pg_autoctl show uri. iconic πŸŽ€
  • --formation β€” the name of the formation to drop from the monitor. that's it. that's the one. drop her 🌸

πŸ¦‹ ENVIRONMENT πŸ¦‹

  • PGDATA β€” Postgres directory location. you can use this instead of the --pgdata option. same energy, different delivery πŸ’œ
  • PG_AUTOCTL_MONITOR β€” Postgres URI to connect to the monitor node, and yes you can use this instead of the --monitor option. slay
  • XDG_CONFIG_HOME β€” the pg_autoctl command stores its configuration files in the standard place XDG_CONFIG_HOME. see the XDG Base Directory Specification for the deets πŸ“
  • XDG_DATA_HOME β€” the pg_autoctl command stores its internal states files in the standard place XDG_DATA_HOME, which defaults to ~/.local/share. see the XDG Base Directory Specification. the standard place stays standard, periodt πŸ’«

πŸ’– AUTHOR πŸ’–

Microsoft 🫢


Copyright (c) Microsoft Corporation. All rights reserved.


bestie reminder: this is the real deal, so keep the actual facts close. nothing here is guesswork β€” it's all straight from the page. no cap. πŸ”₯

okay that's the whole thing, you ate that πŸ’… version 2.2, dated Apr 07, 2025 β€” mwah, go drop that formation, main character energy only πŸ‘‘πŸ¦‹

πŸ“¦ where this page comes from