From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1RtdtF-0004uZ-6E for mharc-grub-devel@gnu.org; Sat, 04 Feb 2012 06:34:45 -0500 Received: from eggs.gnu.org ([140.186.70.92]:46129) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RtdtC-0004uT-6H for grub-devel@gnu.org; Sat, 04 Feb 2012 06:34:43 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RtdtA-0003jb-JY for grub-devel@gnu.org; Sat, 04 Feb 2012 06:34:42 -0500 Received: from mail-wi0-f169.google.com ([209.85.212.169]:40179) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RtdtA-0003j1-CA for grub-devel@gnu.org; Sat, 04 Feb 2012 06:34:40 -0500 Received: by wibhj13 with SMTP id hj13so4537820wib.0 for ; Sat, 04 Feb 2012 03:34:39 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=2OE0Xm6wBmlwV8/pr6uaCb7OaWaq443VqSq5kb5NLWo=; b=UV8Uu0SQYx6Kq0izJcTzTYVe5zbIMVNMGJY3M8g4PvTI7Iya5BJhpL7QyXSPbQBGPD H3rfo9Zrf3MxJT5BVzj1k/4Kn/lvwvrV8Gucy3txUgTzSMci2meVT0rXww+IHOBdFm7s v97tuEnMzC4oAYZjsbAx7WJFxqDQ2NxsFRXWk= Received: by 10.180.101.35 with SMTP id fd3mr16816453wib.22.1328355278899; Sat, 04 Feb 2012 03:34:38 -0800 (PST) Received: from fedora.x201.phnet (79-5.62-81.cust.bluewin.ch. [81.62.5.79]) by mx.google.com with ESMTPS id s2sm13206407wix.3.2012.02.04.03.34.35 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 04 Feb 2012 03:34:36 -0800 (PST) Message-ID: <4F2D17CA.1020500@gmail.com> Date: Sat, 04 Feb 2012 12:34:34 +0100 From: =?UTF-8?B?VmxhZGltaXIgJ8+GLWNvZGVyL3BoY29kZXInIFNlcmJpbmVua28=?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:9.0) Gecko/20111222 Thunderbird/9.0 MIME-Version: 1.0 To: The development of GNU GRUB Subject: Re: New configuration variables for setting GRUB's colors in /etc/default/grub (Debian bug #608283) References: <1306413279.3096.32.camel@alexander> In-Reply-To: <1306413279.3096.32.camel@alexander> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 209.85.212.169 Cc: Alexander Kurtz X-BeenThere: grub-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list Reply-To: The development of GNU GRUB List-Id: The development of GNU GRUB List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 04 Feb 2012 11:34:43 -0000 On 26.05.2011 14:34, Alexander Kurtz wrote: > Hi, > > it seems there is a quite big demand for setting GRUB's colors directly > via /etc/default/grub, see [1-8]. There seem to be no official GRUB_* > variables for this purpose yet[9]. > > However, Arch Linux recommends[10] using GRUB_COLOR_NORMAL and > GRUB_COLOR_HIGHLIGHT. I suggest to extend that approach and also provide > GRUB_MENU_COLOR_NORMAL and GRUB_MENU_COLOR_HIGHLIGHT roughly like that: > > GRUB_COLOR_NORMAL - set the GRUB environment variable 'color_normal' > GRUB_COLOR_HIGHLIGHT - set the GRUB environment variable 'color_highlight' > GRUB_MENU_COLOR_NORMAL - set the GRUB environment variable 'menu_color_normal' > GRUB_MENU_COLOR_HIGHLIGHT - set the GRUB environment variable 'menu_color_highlight' > > I have attached a patch which makes grub-mkconfig export these new > variables. What do you think? This patch does only exporting, not any actual usage. > Best regards > > Alexander Kurtz > > [1] http://www.debianuserforums.org/viewtopic.php?f=10&t=151 > [2] http://ubuntuforums.org/showthread.php?t=1739412 > [3] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=461851 > [4] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=495282 > [5] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=495616 > [6] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=500134 > [7] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=608283 > [8] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=610273 > [9] http://www.gnu.org/software/grub/manual/grub.html#Simple-configuration > [10] https://wiki.archlinux.org/index.php/GRUB2#Menu_colors > > > _______________________________________________ > Grub-devel mailing list > Grub-devel@gnu.org > https://lists.gnu.org/mailman/listinfo/grub-devel -- Regards Vladimir 'φ-coder/phcoder' Serbinenko