From mboxrd@z Thu Jan 1 00:00:00 1970 From: rendaw <7e9wc56emjakcm@s.rendaw.me> Subject: Re: booting from usb Date: Wed, 15 May 2019 09:55:18 +0900 Message-ID: <1a3692b2-3dfb-e1c8-1331-f06c8cb4b9a8@s.rendaw.me> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([209.51.188.92]:52919) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from <7e9wc56emjakcm@s.rendaw.me>) id 1hQiCb-0001Dl-NZ for help-guix@gnu.org; Tue, 14 May 2019 20:55:26 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from <7e9wc56emjakcm@s.rendaw.me>) id 1hQiCa-0002Iw-Qx for help-guix@gnu.org; Tue, 14 May 2019 20:55:25 -0400 Received: from out5-smtp.messagingengine.com ([66.111.4.29]:38609) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from <7e9wc56emjakcm@s.rendaw.me>) id 1hQiCa-0002HA-F1 for help-guix@gnu.org; Tue, 14 May 2019 20:55:24 -0400 Received: from compute6.internal (compute6.nyi.internal [10.202.2.46]) by mailout.nyi.internal (Postfix) with ESMTP id 54CAB25FF7 for ; Tue, 14 May 2019 20:55:22 -0400 (EDT) Received: from [192.168.1.35] (y236169.dynamic.ppp.asahi-net.or.jp [118.243.236.169]) by mail.messagingengine.com (Postfix) with ESMTPA id 651B0103CB for ; Tue, 14 May 2019 20:55:21 -0400 (EDT) In-Reply-To: Content-Language: en-US List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: help-guix@gnu.org On 5/15/19 3:01 AM, Perez, Luis wrote: > Hi, > > I'm trying to boot GUIX. I've copied GUIX on to my usb, but I have not been > able to boot it sucessfully. According to the instructions I need to access > the BIOS to do this. I've read that is done by pressing one of the F keys > on startup. However, my laptop has been librebooted so I don't think this > is possible. > > For arch, at least, all I had to do was copy arch to my usb and use the > grub prompt to boot from the usb. It seemed to me that it should be the > same for GUIX but when I try this I'm just taken back to the initial prompt > that asks me what I want to boot from. > > I'd really appreciate any troubleshooting help. > > L How did you copy Guix onto the USB drive?