From 8394260319fc381c2eda4881a88f5d4fd9081b75 Mon Sep 17 00:00:00 2001
From: Richard Laager <rlaager@wiktel.com>
Date: Mon, 18 Mar 2019 21:49:13 -0500
Subject: [PATCH] Ubuntu: Set GRUB_RECORDFAIL_TIMEOUT

Without this, the timeout is 30 seconds regardless of GRUB_TIMEOUT.
---
 Ubuntu-18.04-Root-on-ZFS.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Ubuntu-18.04-Root-on-ZFS.md b/Ubuntu-18.04-Root-on-ZFS.md
index 0a759e5..ab32da5 100644
--- a/Ubuntu-18.04-Root-on-ZFS.md
+++ b/Ubuntu-18.04-Root-on-ZFS.md
@@ -396,6 +396,7 @@ If you chose to create a `/tmp` dataset above, skip this step, as they are mutua
     # vi /etc/default/grub
     Comment out: GRUB_TIMEOUT_STYLE=hidden
     Set: GRUB_TIMEOUT=5
+    Below GRUB_TIMEOUT, add: GRUB_RECORDFAIL_TIMEOUT=5
     Remove quiet and splash from: GRUB_CMDLINE_LINUX_DEFAULT
     Uncomment: GRUB_TERMINAL=console
     Save and quit.