documentation unclear to me - reconfigure video output

Hello,

I'm a bit confused about the documentation, to be precise the hardware notes > Allwinner Generic > reconfigure video output part.

It lists various options regarding video output. Then it states

Quote

 

For example to always use the hdmi connector, even if no cable is inserted, using edid info when available and otherwise initalizing it at 1024x768@60Hz, use:  setenv video-mode sunxi:1024x768-24@60,monitor=dvi,hpd=0,edid=0.

Parameters regarding video must be saved into u-boot environment file since they must be read before reading boot script. You can do this by adding saveenv command at the end of boot script (boot.cmd). Remember to recompile boot.cmd to boot.scr and note that changes will come into action after second boot.

 

Now I see, inside boot, a "armbianEnv.txt" and the mentioned "boot.cmd". However, the default boot.cmd doesn't contain a saveenv line. Also, the head of the boot.cmd clearly states

Quote

# DO NOT EDIT THIS FILE
#
# Please edit /boot/armbianEnv.txt to set supported parameters
#

Can someone lighten me up on the relationship between the files armbianEnv.txt and boot.cmd, and why I should/shouldn't edit boot.cmd?

I'm running the mainline kernel on a Banani Pi Pro, if this is relevant.

Thanks in advance