search

elementary / default-settings

Default settings for elementary OS
GNU General Public License v3.0
39 stars 27 forks source link

Branded GRUB theme [$10] #62

Open jepotter1-archive opened 6 years ago

jepotter1-archive commented 6 years ago

Many other distributions make their GRUB theme custom (e.g. Pop). The current elementary GRUB configuration is quite ugly.

A picture to illustrate:

grub

ChildishGiant commented 3 years ago

https://github.com/AdisonCavani/distro-grub-themes We could use this? image

jepotter1-archive commented 3 years ago

@ChildishGiant That one is a bit flashy IMO.

I would prefer something like this:

(Taken from the GNOME mockups repository.)