PG_AUTOCTL_DROP_FORMATION(1)

✨ NAME ✨

pg_autoctl drop formation — ok so this is a page from the pg_auto_failover manual, section 1, and it's about one very specific little slay of a command: pg_autoctl drop formation.

And what does it do, bestie? It drops a formation on the pg_auto_failover monitor. That's it. That's the whole vibe. 💅

---

🎀 SYNOPSIS 🎀

So when you run this, you're dropping a formation that already exists on the monitor:

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

Like… it's giving "short and sweet and slightly terrifying". 🫶

---

🌸 OPTIONS 🌸

• --pgdata — where the Postgres node you're managing locally keeps its data directory. If you don't say anything, it defaults to whatever the environment variable PGDATA is set to. Pro move: use --monitor if you wanna connect to a monitor from literally anywhere, instead of being tied to the monitor URI that a local Postgres node managed with pg_autoctl is using. ✨
• --monitor — the Postgres URI you use to connect to the monitor. Heads up: it must use the autoctl_node username and it has to target the pg_auto_failover database name. And if you forgot what that URI even is, you can just show it from the monitor node with the command pg_autoctl show uri. No cap. 🔥
• --formation — the name of the formation you want to drop from the monitor. That's the one. That's the whole point of this command. 💀

---

🌈 ENVIRONMENT 🌈

• PGDATA — the Postgres directory location. You can use this instead of the --pgdata option. Same energy, different spelling.
• PG_AUTOCTL_MONITOR — the Postgres URI used to connect to the monitor node. Use it instead of the --monitor option. 🦋
• XDG_CONFIG_HOME — the pg_autoctl command stores its configuration files in the standard place XDG_CONFIG_HOME. See the XDG Base Directory Specification. 📁
• 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. 🗂️

---

👑 AUTHOR 👑

Microsoft

---

💖 COPYRIGHT 💖

Copyright (c) Microsoft Corporation. All rights reserved.

---

ok and for the lil sign-off moment you've all been waiting for: this whole page is from pg_auto_failover 2.1, dated Jan 18, 2025 — go drop that formation responsibly, bestie, mwah 🎀✨💅