From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=)
Subject: bug#23697: guix system reconfigure hangs, shows repl in messages
Date: Mon, 06 Jun 2016 10:27:27 +0200
Message-ID: <87vb1m4t8w.fsf@gnu.org>
References: <87lh2kt12q.fsf@gnu.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:52258)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1b9puF-000693-Fe
	for bug-guix@gnu.org; Mon, 06 Jun 2016 04:29:12 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1b9puA-0007qE-2D
	for bug-guix@gnu.org; Mon, 06 Jun 2016 04:29:07 -0400
Received: from debbugs.gnu.org ([208.118.235.43]:43850)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1b9pu9-0007qA-Vj
	for bug-guix@gnu.org; Mon, 06 Jun 2016 04:29:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1b9pu9-00048a-Rx
	for bug-guix@gnu.org; Mon, 06 Jun 2016 04:29:01 -0400
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.23697.B23697.146520168215822@debbugs.gnu.org>
In-Reply-To: <87lh2kt12q.fsf@gnu.org> (Jan Nieuwenhuizen's message of "Sun, 05
	Jun 2016 11:52:13 +0200")
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix/>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: Jan Nieuwenhuizen <janneke@gnu.org>
Cc: 23697@debbugs.gnu.org

Jan Nieuwenhuizen <janneke@gnu.org> skribis:

> Then, I uncommented the /home section in drakenvlieg.scm, like so
>
>     ;; Switch to GuixSD
>     (file-system (device "home")
>                  (title 'label)
>                  (mount-point "/home")
>                  (type "ext4"))
>     (file-system (device (label "Debian")) (title 'label) (mount-point "/=
debian") (type "ext4") (flags '(read-only)))
>
> and (without considering I had mounted /hoom and set $HOME there) ran
>
>     guix system reconfigure drakenvlieg.scm
>
> which eventually printed
>
>     ...
>     guix system: loading new services: file-system-/home urandom-seed ntp=
d avahi-daemon ssh-daemon...
>     shepherd: Evaluating user expression (register-services (primitive-lo=
ad "/gn...") ...).
>
> In /var/log/messages I found some clue as to why this did not return

[...]

>     2016-06-01 19:59:57 Evaluating user expression (register-services (pr=
imitive-load "/gn...") #).
>     2016-06-01 19:59:57 GNU Guile 2.0.11
>     2016-06-01 19:59:57 Copyright (C) 1995-2014 Free Software Foundation,=
 Inc.
>     2016-06-01 19:59:57=20
>     2016-06-01 19:59:57 Guile comes with ABSOLUTELY NO WARRANTY; for deta=
ils type `,show w'.
>     2016-06-01 19:59:57 This program is free software, and you are welcom=
e to redistribute it
>     2016-06-01 19:59:57 under certain conditions; type `,show c' for deta=
ils.
>     2016-06-01 19:59:57=20
>     2016-06-01 19:59:57 Enter `,help' for help.

What happens is that it failed to fsck /home (since it was already
mounted), and stupidly started a rescue REPL that you couldn=E2=80=99t see.

The rescue REPL is a good idea when booting the system; see for
instance:

  http://bugs.gnu.org/22588

However, in the case of an upgrade, we need a way to say =E2=80=9Cno REPL
please=E2=80=9D.  Or maybe a way to make the =E2=80=98start=E2=80=99 method=
 idempotent by
checking whether the thing is already mounted.

Thoughts?

Ludo=E2=80=99.