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