fix: ensure /boot/ is a directory.

See de54984
This commit is contained in:
Alexandre Pujol 2023-04-05 21:37:07 +01:00
parent bde3ca0d08
commit 1a09d74df3
Failed to generate hash of commit

View file

@ -25,7 +25,7 @@ profile grub-probe @{exec_path} {
/ r, / r,
/usr/share/grub/* r, /usr/share/grub/* r,
/boot r, /boot/ r,
/boot/grub/themes/{,**} r, /boot/grub/themes/{,**} r,
@{PROC}/@{pids}/mountinfo r, @{PROC}/@{pids}/mountinfo r,