~elementary-os/elementaryos/+git/os-patches:grub2-jammy-patched

Last commit made on 2023-08-05
Get this branch:
git clone -b grub2-jammy-patched https://git.launchpad.net/~elementary-os/elementaryos/+git/os-patches

Branch merges

Branch information

Name:
grub2-jammy-patched
Repository:
lp:~elementary-os/elementaryos/+git/os-patches

Recent commits

1c34a6c... by Vishal Rao

Show pretty name in grub boot menu (#222)

c2ebdbe... by David Hewitt <email address hidden>

Ensure recordfail state is cleared in our grubenv (#198)

e1c2e74... by David Hewitt <email address hidden>

Re-alias update-grub command to elementary path (#196)

6c6f6e5... by Corentin Noël

Repurpose Kubuntu EFI patch for lp:1242417

1866fe4... by David Hewitt

Remove GNU/Linux from boot entry

72cd695... by David Hewitt

Reduce timeout from 10 seconds to 5

8736ce9... by David Hewitt

Default menu colors to black and white

badbaae... by Corentin Noël

Updated to version 2.06-2ubuntu7.2

e01d2ed... by Corentin Noël

Updated to version 2.06-2ubuntu7.1

a48439b... by Corentin Noël

Updated to version 2.06-2ubuntu7