Bug#714414: 05_debian_theme: make colours user-configurable

2017-06-21 Thread Martin-Éric Racine
Package: grub-pc Version: 2.02~beta3-5 Followup-For: Bug #714414 This issue is caused by hardwired colors in 05_debian_theme. Unless the script finds that 1) GRUB is running on an Ubuntu host OR that 2) a background image exists, cyan/blue and white/blue colors are enforced. Adding insult to

Bug#714414: 05_debian_theme: make colours user-configurable

2013-06-28 Thread Christoph Anton Mitterer
Package: grub-common Version: 2.00-14 Severity: wishlist Hi. It seems that the backgroun is configurable via GRUB_BACKGROUND in /etc/default/grub but the colours are not...in both cases, when /usr/share/desktop-base/grub_background.sh is used and when not. Would be nice if that was