From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Prikler Subject: Re: default GNOME desktop background Date: Sat, 09 Nov 2019 18:56:44 +0100 Message-ID: <61bdc76170d1dc0d9dd05cd1ccf5e775f9ee5987.camel@student.tugraz.at> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:35838) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iTUyk-0004rk-Uy for guix-devel@gnu.org; Sat, 09 Nov 2019 12:56:56 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iTUyj-00022P-BP for guix-devel@gnu.org; Sat, 09 Nov 2019 12:56:54 -0500 Received: from mailrelay.tugraz.at ([129.27.2.202]:1783) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iTUyi-0001z6-Qo for guix-devel@gnu.org; Sat, 09 Nov 2019 12:56:53 -0500 In-Reply-To: 86mud5qbgh.fsf@dismail.de List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: jbranso@dismail.de Cc: guix-devel@gnu.org > I know that at least on my machine I have a grub-image.png file in my > store. I don't know if that helps... > > find /gnu/store -name '*grub-image*' It is on (almost) everyone's machine, see (gnu bootloader grub) on how it's derived. You can probably copy most of the steps up to the definition of svg->png with minor modifications. If you want to see how the path is pasted into the config file, you can scroll down until the eye-candy function. Be aware, that only the 4:3 image is up to date.