From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: state of the system
Date: Sun, 26 Nov 2017 23:00:26 +0100
Message-ID: <87k1ycvgxx.fsf@gnu.org>
References: <20171117215914.6f666dde@jasniac.instanton>
	<87r2suted1.fsf@fastmail.com>
	<20171119180851.5ed082f8@jasniac.instanton>
	<87fu99u7aq.fsf@fastmail.com>
	<20171121053045.77392605@jasniac.instanton> <87fu97n4wm.fsf@gnu.org>
	<20171121200929.3cecf57b@jasniac.instanton>
	<87tvxnp7a8.fsf@fastmail.com>
	<20171122095257.05fea6f3@jasniac.instanton>
	<20171125102532.063f8367@graviton.instanton>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:57330)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1eJ4yd-0007qh-5o
	for help-guix@gnu.org; Sun, 26 Nov 2017 17:00:44 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1eJ4yY-0003JK-DD
	for help-guix@gnu.org; Sun, 26 Nov 2017 17:00:39 -0500
Received: from [2a01:474::1] (port=34135 helo=hera.aquilenet.fr)
	by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
	(Exim 4.71) (envelope-from <ludo@gnu.org>) id 1eJ4yY-0003IP-5t
	for help-guix@gnu.org; Sun, 26 Nov 2017 17:00:34 -0500
In-Reply-To: <20171125102532.063f8367@graviton.instanton> (Marco van Hulten's
	message of "Sat, 25 Nov 2017 10:25:32 +0100")
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: Marco van Hulten <marco@hulten.org>
Cc: help-guix@gnu.org

Hi Marco,

Marco van Hulten <marco@hulten.org> skribis:

> Concerning my kodi crash happening on my system but not on other's [1],
> maybe by system got broken and I should reinstall.
>
> I understand that the state of a GuixSD installation is defined by one's
> `config.scm`.  Thus I can very easily reproduce an exact copy of the
> functional system.

Indeed.  This property makes it essentially useless to reinstall, since
the system is stateless (or =E2=80=9Cmostly=E2=80=9D stateless.)

> However, there are also packages installed per user.  What would
> define, excluding data files in the home directories, the complete
> state of a system, including both the core OS and packages (as
> available per user), if there such a thing in GuixSD?

If you use declarative profiles with =E2=80=98guix package -m=E2=80=99, the=
n all you
need is to keep both the system config.scm and the user profile
manifests.

Otherwise there=E2=80=99s no fully automated way to capture the whole system
state.  It would be a useful addition!

Besides, if your concern is to allow others to reproduce the Kodi crash
you experienced, my suggestions would be to try and see if you can
reproduce it in a VM created with =E2=80=98guix system vm=E2=80=99.  If you=
 can do that,
then others will be able to reproduce it as well and to investigate.

HTH!

Ludo=E2=80=99.