Grub menu on HDMI monitor

2019-04-07 Thread Marcin Snieg
Dear developers, I would like a feature in Grub that instead of showing grub's menu only on laptop's monitor it would show grub's menu on HDMI monitor when laptop's lid is closed. I did not find a solution for my issue on the Internet. My configuration is dual boot, laptop's lid closed and ex

Re: Grub menu on HDMI monitor

2019-04-07 Thread Jesús Diéguez Fernández
Hi Marcin, I don't know exactly how that would be done in GRUB, but I'm afraid that there's not an unique way to do this for all video card manufacturers. Your laptop probably has a key combination to switch the video output (usually Function key + F5), or maybe your BIOS has an opt

[PATCH] Change fs functions to add fs_ prefix

2019-04-07 Thread Vladimir 'phcoder' Serbinenko
commit 820906d7b1e68559bcf1b3e0cb56e46cded3e84b Author: Vladimir Serbinenko Date: Mon Apr 8 07:24:24 2019 +0200 Change fs functions to add fs_ prefix This avoid conflict with gnulib Signed-off-by: Vladimir Serbinenko diff --git a/grub-core/commands/ls.c b/grub-core/commands/ls.c