Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Branded GRUB theme [$10] #62

Open
jepotter1-archive opened this issue Apr 27, 2018 · 2 comments
Open

Branded GRUB theme [$10] #62

jepotter1-archive opened this issue Apr 27, 2018 · 2 comments
Labels
Needs Design

Comments

@jepotter1-archive
Copy link

jepotter1-archive commented Apr 27, 2018 •
edited
Loading

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

A picture to illustrate:

grub
@danirabbit danirabbit changed the title Branded GRUB theme Branded GRUB theme [$10] Jan 12, 2020
@ChildishGiant
Copy link

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

@jepotter1-archive
Copy link
Author

jepotter1-archive commented Oct 26, 2021 •
edited
Loading

@ChildishGiant That one is a bit flashy IMO.

I would prefer something like this:

(Taken from the GNOME mockups repository.)

@lenemter lenemter added this to OS 8 Feb 6, 2024
@lenemter lenemter moved this to Needs Discussion in OS 8 Feb 6, 2024
@danirabbit danirabbit removed this from OS 8 Apr 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Needs Design
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@ChildishGiant @jepotter1-archive @lenemter