From mboxrd@z Thu Jan  1 00:00:00 1970
From: Leo Famulari <leo@famulari.name>
Subject: Re: How do I make GuixSD boot screens appear on TTY?
Date: Sat, 28 Jan 2017 17:14:19 -0500
Message-ID: <20170128221418.GA4671@jasmine>
References: <86ziib6vex.fsf@gmail.com>
Mime-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha256;
	protocol="application/pgp-signature"; boundary="F8dlzb82+Fcn6AgP"
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:52857)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <leo@famulari.name>) id 1cXbGM-0005ne-5I
	for help-guix@gnu.org; Sat, 28 Jan 2017 17:14:30 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <leo@famulari.name>) id 1cXbGI-0007qK-7m
	for help-guix@gnu.org; Sat, 28 Jan 2017 17:14:26 -0500
Received: from out4-smtp.messagingengine.com ([66.111.4.28]:58686)
	by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
	(Exim 4.71) (envelope-from <leo@famulari.name>) id 1cXbGH-0007pp-Vu
	for help-guix@gnu.org; Sat, 28 Jan 2017 17:14:22 -0500
Content-Disposition: inline
In-Reply-To: <86ziib6vex.fsf@gmail.com>
List-Id: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/help-guix/>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org
Sender: "Help-Guix" <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
To: myglc2 <myglc2@gmail.com>
Cc: help-guix@gnu.org


--F8dlzb82+Fcn6AgP
Content-Type: multipart/mixed; boundary="GZVR6ND4mMseVXL/"
Content-Disposition: inline


--GZVR6ND4mMseVXL/
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Sat, Jan 28, 2017 at 10:44:54AM -0500, myglc2 wrote:
> I am remotely managing headless GuixSD servers using IPMI Serial over
> LAN (SOL). The BIOS, linux messages, and REPL work great.
>=20
> I also see ...
>=20
> GRUB loading.
> Welcome to GRUB!
>=20
> ... but I don't see the GuixSD boot menu ;-(
>=20
> Is there a way to make GuixSD boot screens appear on TTY?

One of my machines is unable to show the graphical menu, so I crudely
make it use the console menu with the attached diff.

We should make it smarter so it can be set properly in the OS
declaration, or even choose automatically.

--GZVR6ND4mMseVXL/
Content-Type: text/plain; charset=us-ascii
Content-Disposition: attachment; filename="0001-grub-Use-console-output.patch"
Content-Transfer-Encoding: quoted-printable

--- a/gnu/system/grub.scm
+++ b/gnu/system/grub.scm
@@ -197,7 +197,7 @@ system string---e.g., \"x86_64-linux\"."
     insmod efi_uga
   fi
=20
-  terminal_output gfxterm
+  terminal_output console
 "
         ""))
=20
--=20
2.11.0


--GZVR6ND4mMseVXL/--

--F8dlzb82+Fcn6AgP
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEsFFZSPHn08G5gDigJkb6MLrKfwgFAliNF7cACgkQJkb6MLrK
fwi2gxAA0BkI0RDs80OoCRbaPoalauBsoeicClea5yp/FLaAwXtMkeFoCjfjkB7j
Rnt8aTNFhPJTnLr3lgVc7v83ziKBxTYuCJMbldfpeYB/Xsa51UhZYWhFwhjNXYJe
G46HAeYUA1yPAgYIE74KMaYpJ+jrAqDr70eVYQmoNuK/ujuGTHcjSKbTToQxuFW6
KRJ3sRmOw2o8cM2eXJbEkRRnaR8rqF24aYvv10JT4rSej8fXbDCu812eSu2rOCew
zptt8pIV6WzWIbWyG9GIIvR0MYQEPEKGGpLUlNIK8KhyERmmihm/m0iFn81tQajX
F07dVcya6XbfNB4zuLROM356v3M90RxJXnuuvokiZWenEaosNOlnsA5laq5kI0Kg
W3mweVUaROxKNrJYlEQ5rc4NaxsZ79I6ZhZKd9rHbjeFZHbm51xYTORAH2udrwk9
RNG1DUnxTsAoRLxtRYs7gngKuZWE3xSOUAChFsPSmeNAr7bpeXghYA69jcqz5Pl+
cRg4zfS8KRNx5eeDWkOI427VtFWtkChdCMs4HckbvPv2+1U/Nh9c43HysrQ4A7w+
uMHfTDD/Vxiy3CduySNXzZYtBaAUYXX03UoPlOXQC9ia7R+wf4lcHjT99WnmeExx
wJxut8vgx1x1P1gtY3hloEqeOBt+LODpY5fj3DobDgR0wy5lr2Q=
=mTx9
-----END PGP SIGNATURE-----

--F8dlzb82+Fcn6AgP--