On 05/30/2015 11:59 AM, Alexey Kardashevskiy wrote:
> On 05/29/2015 11:30 PM, Dinar valeev wrote:
>> From: Dinar Valeev
>>
>> Original issue is home and end keys are not functional in grub2.
>
> "home" works for in grub/ubuntu14 and grub2/fedora21. "end" does not but I am
> not sure that your pa
On 05/29/2015 11:30 PM, Dinar valeev wrote:
From: Dinar Valeev
Original issue is home and end keys are not functional in grub2.
"home" works for in grub/ubuntu14 and grub2/fedora21. "end" does not but I
am not sure that your patch will fix it,
Later I've found other inconsistencies in f1-
