Hi Florian,
Your patch is missing
Signed-off-by: Florian La Roche <florian.laro...@gmail.com>
If you are OK with me adding it for you I will take this patch.
On Tue, Sep 01, 2020 at 07:11:59AM +0200, Florian La Roche via Grub-devel wrote:
> ---
> util/grub.d/41_custom.in | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/util/grub.d/41_custom.in b/util/grub.d/41_custom.in
> index fcc21a987..a08363da1 100644
> --- a/util/grub.d/41_custom.in
> +++ b/util/grub.d/41_custom.in
> @@ -3,7 +3,7 @@ cat <<EOF
> if [ -f \${config_directory}/custom.cfg ]; then
> source \${config_directory}/custom.cfg
> elif [ -z "\${config_directory}" -a -f \$prefix/custom.cfg ]; then
> - source \$prefix/custom.cfg;
> + source \$prefix/custom.cfg
> fi
> EOF
Daniel
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
