From 2556648fdd45887246658579dd576b25e7af874d Mon Sep 17 00:00:00 2001 From: Miguel Armas Date: Thu, 30 Jan 2014 09:23:27 +0000 Subject: [PATCH 3/5] Grub: handle "foreground" option Fixes RHBZ#1059383 (cherry picked from commit a370d9ccfbd0b6b6f927880014b29569c58b03c0) --- lenses/grub.aug | 1 + 1 file changed, 1 insertion(+) diff --git a/lenses/grub.aug b/lenses/grub.aug index 9f8d6af..81fb9d3 100644 --- a/lenses/grub.aug +++ b/lenses/grub.aug @@ -145,6 +145,7 @@ module Grub = | kw_menu_arg "timeout" | kw_menu_arg "splashimage" | kw_menu_arg "gfxmenu" + | kw_menu_arg "foreground" | kw_menu_arg "background" | serial | terminal -- 1.8.5.3