From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: System installation from a USB stick Date: Thu, 24 Jul 2014 13:17:49 +0200 Message-ID: <87iomnuhsy.fsf@gnu.org> References: <87y4xdhgn3.fsf@gnu.org> <877g3z2w60.fsf@gnu.org> <87r41jp2pa.fsf@gnu.org> <87bnslk4d6.fsf@gnu.org> <87vbqtfq0x.fsf@gnu.org> <87mwc5e2uj.fsf@gnu.org> <87k378be4g.fsf@gnu.org> <87pph09m4p.fsf@gnu.org> <87oawgvzhb.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:36688) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XAH24-00037o-8c for guix-devel@gnu.org; Thu, 24 Jul 2014 07:18:00 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XAH1z-0006Qq-W2 for guix-devel@gnu.org; Thu, 24 Jul 2014 07:17:56 -0400 Received: from hera.aquilenet.fr ([2a01:474::1]:40350) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XAH1z-0006QR-Gz for guix-devel@gnu.org; Thu, 24 Jul 2014 07:17:51 -0400 In-Reply-To: (Adam Pribyl's message of "Thu, 24 Jul 2014 12:09:39 +0200 (CEST)") 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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Adam Pribyl Cc: guix-devel Adam Pribyl skribis: > On Wed, 23 Jul 2014, Ludovic Court=C3=A8s wrote: > >> I=E2=80=99ve finally fixed this problem: . >> Not perfect, since it requires users to type an extra command, but that >> seems acceptable to me. >> >> I would very much appreciate new tests and feedback. Here=E2=80=99s a n= ew image >> with this fix: >> >> http://www.fdn.fr/~lcourtes/software/guix/gnu-usb-install-20140723.x86_= 64.xz >> http://www.fdn.fr/~lcourtes/software/guix/gnu-usb-install-20140723.x86_= 64.xz.asc >> SHA1: 7d277ed9a0927fd08e211125eca9a8bea98e7c3e >> >> (For 32-bit, you can rebuild it with the usual command.) > > Installation went fine. > > I can not boot installed system, boot looks for /dev/sda1 which is not > present. It smells to me like the same problem with devtmpfs > previously in live USB... I found in grub the reference to /dev/sda1 > (as LiveUSB now with udev in devtmpfs and kernel 3.15.6 asigns the HDD > /dev/sda) but it looks like the kernel booting from HDD is not seeing > it like this. The system tries to mount whatever was specified in the =E2=80=98file-syste= m=E2=80=99 declaration for "/". Perhaps you should use a label instead of the actual device name? As in: (file-system (mount-point "/") (device "root") (title 'label) ...) The GRUB menu will use that as well. (If the root file system already has a label, you can try that easily by just editing the GRUB config from GRUB to use, say, --root=3Dmy-label.) > Notes: > - Installed system has kernel 3.15.5 and guix 0.6 while the liveUSB > has kernel 3.15.6 and guix 0.7 > > - The help file on tty2 needs to be updated to accomodate the info > about cow-store Yes, that=E2=80=99s the result of the =E2=80=98guix=E2=80=99 package (in th= e distro) being older. I=E2=80=99ll update it. > - I would vote for the basic config.scm to be present on the USB > somewhere, it is time consuming to rewrite one from help to the > file. (Could be I may copy it somehow from info page, but I would need > a help how to do that.) Yes, I agree it=E2=80=99d be useful. I=E2=80=99ll see how this can be achi= eved. > - Time synchro or at least hwclock --hctosys would be fine as > everything is installed 1.1.1970 It=E2=80=99s normal that everything in the store has zeroed timestamps. Th= at=E2=80=99s one of the things that support determinism. > - My boot is somewhat long due to missing firmware for a Radeon > graphics card and "fatal error during GPU init". This is probably due > to linux-libre kernel. I am not sure if this could be mitigated > somehow, generally is not a problem. Yeah, no idea, but I suspect it=E2=80=99s indeed beyond the scope of Guix. = ;-) Ludo=E2=80=99.