diff options
| author | Joey Hess <joeyh@joeyh.name> | 2018-02-01 11:51:51 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2018-02-01 11:51:51 -0400 |
| commit | 2ac8353c96326f911768c985f638dabe36991e32 (patch) | |
| tree | 3a18f0fb99cfdcf20c6fb08ab487b3a3746a2cf1 /joeyconfig.hs | |
| parent | ee8191a8463f2af66a858b6ea2c2a65f65fa92b6 (diff) | |
Grub: Added properties to configure /etc/default/grub.
This commit was sponsored by Ewen McNeill on Patreon.
Diffstat (limited to 'joeyconfig.hs')
| -rw-r--r-- | joeyconfig.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/joeyconfig.hs b/joeyconfig.hs index 3615181c..258df4b1 100644 --- a/joeyconfig.hs +++ b/joeyconfig.hs @@ -89,6 +89,8 @@ darkstar = host "darkstar.kitenet.net" $ props & ipv6 "2001:4830:1600:187::2" & Hostname.sane & Apt.serviceInstalledRunning "swapspace" + & Grub.cmdline_Linux "i915.enable_psr=1" + ! Grub.cmdline_Linux "quiet" & JoeySites.dkimMilter & JoeySites.postfixSaslPasswordClient |