Update update-grub
This commit is contained in:
parent
8276e6dc36
commit
2e77669c94
1 changed files with 2 additions and 0 deletions
|
|
@ -15,5 +15,7 @@ profile update-grub @{exec_path} {
|
||||||
@{bin}/{,ba,da}sh rix,
|
@{bin}/{,ba,da}sh rix,
|
||||||
@{bin}/grub-mkconfig rPx,
|
@{bin}/grub-mkconfig rPx,
|
||||||
|
|
||||||
|
/dev/tty[0-9]* rw,
|
||||||
|
|
||||||
include if exists <local/update-grub>
|
include if exists <local/update-grub>
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue