PIBOOTCTL-DIFF(1)

📦 version 0.5.2, in ubuntu jammy, ubuntu noble, ubuntu resolute, ubuntu stonking

✨ pibootctl-diff ✨

okay bestie, so this is pibootctl-diff — one page out of the whole pibootctl manual, and it's literally the little diff goblin of the family. 💅

🌸 SYNOPSIS 🌸

pibootctl diff [-h] [--json | --yaml | --shell] [left] right

💖 DESCRIPTION 💖

She shows you the settings that differ between two stored boot configurations — or between one stored boot configuration and whatever the current config is rn. 🦋

That's it. That's the job. Side-by-side, glow-up comparison energy. ✨

🎀 OPTIONS 🎀

  • left — the boot configuration you're comparing from 🫶. If you just... don't give her one, she uses the current configuration instead.
  • right — the boot configuration you're comparing against. The other half of the situationship. 😭
  • -h, --help — pops up a brief help page for the command. Tiny, cute, useful. 💅
  • --json — output format: JSON. For the devs. For the machines. For the vibes. 🔥
  • --yaml — output format: YAML. Same deal, different punctuation. ✨
  • --shell — output format: tab-delimited, i.e. suitable for the shell. Practical queen. 👑

🌈 USAGE 🌈

so the diff command displays the differences between two boot configurations, right? Either:

  • two stored configurations — if you hand her two names on the command line, or
  • the current boot configuration vs a stored one — if you hand her just one name. 🧚

Like this, fr fr:

$ sudo pibootctl save default
$ sudo pibootctl set video.hdmi0.group=1 video.hdmi0.mode=4
$ pibootctl diff default
+-------------------+----------------+--------------------+
| Name              | <Current>      | default            |
|-------------------+----------------+--------------------|
| video.hdmi0.group | 1 (CEA)        | 0 (auto from EDID) |
| video.hdmi0.mode  | 4 (720p @60Hz) | 0 (auto from EDID) |
+-------------------+----------------+--------------------+
$ sudo pibootctl save 720p
$ pibootctl diff default 720p
+-------------------+--------------------+----------------+
| Name              | default            | 720p           |
|-------------------+--------------------+----------------|
| video.hdmi0.group | 0 (auto from EDID) | 1 (CEA)        |
| video.hdmi0.mode  | 0 (auto from EDID) | 4 (720p @60Hz) |
+-------------------+--------------------+----------------+

look at those little tables. iconic. 🥹

💜 for the devs building on top 💜

For developers wishing to build on top of pibootctl, options are provided to produce the output in JSON (--json), YAML (--yaml), and shell-friendly (--shell): 🛠️

$ pibootctl diff --json default 720p
{"video.hdmi0.mode": {"right": 4, "left": 0}, "video.hdmi0.group":
{"right": 1, "left": 0}}
no cap, that's the exact output. don't come for me about the line break, that's just how it is. 💀

👑 AUTHOR 👑

Dave Jones

2019-2020 Dave Jones

and that's the whole page, bestie 💖 — this was version 0.5.2, dated Sep 14, 2020, from the pibootctl manual. go forth and diff responsibly. ✨🦋💅

📦 where this page comes from