diff

Synopsis

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

Description

Display the settings that differ between two stored boot configurations, or between one stored boot configuration and the current configuration.

Options

left

The boot configuration to compare from, or the current configuration if omitted.

right

The boot configuration to compare against.

-h, --help

Show a brief help page for the command.

--json

Use JSON as the output format.

--yaml

Use YAML as the output format.

--shell

Use a tab-delimited output format suitable for the shell.

Usage

The diff command is used to display the differences between two boot configurations; either two stored configurations (if two names are supplied on the command line), or between the current boot configuration and a stored one (if one name is supplied on the command line):

$ 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) |
+-------------------+--------------------+----------------+

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}}