From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Root file system not cleanly unmounted
Date: Tue, 25 Nov 2014 14:51:16 +0100
Message-ID: <877fyjgzhn.fsf@inria.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:45735)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1XtGWg-0007sp-W4
	for guix-devel@gnu.org; Tue, 25 Nov 2014 08:51:40 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1XtGWX-000114-V1
	for guix-devel@gnu.org; Tue, 25 Nov 2014 08:51:30 -0500
Received: from hera.aquilenet.fr ([2a01:474::1]:39451)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@gnu.org>)
	id 1XtGWX-00010p-OJ
	for guix-devel@gnu.org; Tue, 25 Nov 2014 08:51:21 -0500
Received: from localhost (localhost [127.0.0.1])
	by hera.aquilenet.fr (Postfix) with ESMTP id C430E4066
	for <guix-devel@gnu.org>; Tue, 25 Nov 2014 14:51:16 +0100 (CET)
Received: from hera.aquilenet.fr ([127.0.0.1])
	by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id YYFbxRZUVhEN for <guix-devel@gnu.org>;
	Tue, 25 Nov 2014 14:51:16 +0100 (CET)
Received: from pluto (pluto.bordeaux.inria.fr [193.50.110.57])
	by hera.aquilenet.fr (Postfix) with ESMTPSA id 8E7134060
	for <guix-devel@gnu.org>; Tue, 25 Nov 2014 14:51:16 +0100 (CET)
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=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: Guix-devel <guix-devel@gnu.org>

FYI, if you installed a system from 0.8, chances are that your root file
system is not cleanly unmounted (from what ext4 recovers without any
problems, but still.)

This is fixed by commit 1c27641, so consider running =E2=80=98guix pull=E2=
=80=99 and
=E2=80=98guix system reconfigure=E2=80=99.

The bug probably appeared as a side-effect of commit cd4a3cb3.
Basically, when rebooting, the devtmpfs file system on /dev would fail
to be unmounted, thus preventing / itself to be properly unmounted.

Thanks,
Ludo=E2=80=99.

PS: Thanks to David for raising it on IRC yesterday.