chore: various cosmetic changes.

This commit is contained in:
Alexandre Pujol 2023-09-01 19:26:52 +01:00
parent 256d4abde8
commit aea0034fcc
No known key found for this signature in database
GPG key ID: C5469996F0DF68EC
16 changed files with 35 additions and 32 deletions

View file

@ -57,7 +57,7 @@ profile grub-mkconfig @{exec_path} {
@{bin}/umount rPx,
@{bin}/uname rix,
@{bin}/which{.debianutils,} rix,
/etc/grub.d/{**,} rix,
/etc/grub.d/{**,} rix,
/boot/{**,} r,
/boot/grub/{**,} rw,

View file

@ -18,13 +18,13 @@ profile grub-probe @{exec_path} {
@{exec_path} mr,
/{usr/,}{local/,}{s,}bin/zpool rPx,
@{bin}/lvm rPx,
@{bin}/lsb_release rPx -> lsb_release,
@{bin}/lvm rPx,
@{bin}/udevadm rPx,
/ r,
/usr/share/grub/* r,
/ r,
/boot/ r,
/boot/grub/themes/{,**} r,