General update

This commit is contained in:
Jeroen Rijken 2022-08-01 18:31:32 +02:00 committed by Alex
parent 575d781c88
commit 099a97cb36
26 changed files with 137 additions and 23 deletions

View file

@ -13,6 +13,8 @@ profile grub-editenv @{exec_path} flags=(complain) {
@{exec_path} rm,
/boot/grub/grubenv rw,
include if exists <local/grub-editenv>
}