From mboxrd@z Thu Jan 1 00:00:00 1970 From: Chris Marusich Subject: Re: correct 'guix system reconfigure config.scm' files Date: Thu, 11 Jan 2018 21:15:44 -0800 Message-ID: <871sivodxb.fsf@gmail.com> References: <87wp0p44k6.fsf@portkomputilo.i-did-not-set--mail-host-address--so-tickle-me> <90f0218f-3691-78d7-8433-140c0989ed2c@uni-bremen.de> <87o9m13zpy.fsf@portkomputilo.i-did-not-set--mail-host-address--so-tickle-me> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:58138) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eZrh9-0000ko-No for help-guix@gnu.org; Fri, 12 Jan 2018 00:16:00 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eZrh6-0007ue-JX for help-guix@gnu.org; Fri, 12 Jan 2018 00:15:59 -0500 Received: from mail-pg0-x22a.google.com ([2607:f8b0:400e:c05::22a]:40470) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eZrh6-0007u5-Cm for help-guix@gnu.org; Fri, 12 Jan 2018 00:15:56 -0500 Received: by mail-pg0-x22a.google.com with SMTP id q12so3890039pgt.7 for ; Thu, 11 Jan 2018 21:15:56 -0800 (PST) In-Reply-To: <87o9m13zpy.fsf@portkomputilo.i-did-not-set--mail-host-address--so-tickle-me> (Quiliro Ordonez Baca's message of "Wed, 10 Jan 2018 21:18:17 -0500") 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: Quiliro Ordonez Baca Cc: help-guix@gnu.org --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Quiliro Ordonez Baca writes: >>> Please criticize the sintax where >>> appropriate. Thank you. >> I think guile can critisize syntax errors, too. >> try `guix system build config.scm` > > So, this is the way to test if it is correct? That is one way to test if there are problems. If "guix system build" fails, then it is not correct. If it succeeds, then it might be correct. It is possible to successfully build an operating system declaration that is syntactically correct but semantically incorrect. For example, if your operating system configuration file defines a user named "bob" when the user should actually have been "alice", Guix will not complain even though it is not what you intended. =2D-=20 Chris --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEy/WXVcvn5+/vGD+x3UCaFdgiRp0FAlpYRIAACgkQ3UCaFdgi Rp33rw/7B7h0CQByCEPx05t5ri3HbbIY7lrlBP1nssddcW74MaEfxeo+z9qHukz2 KfZJttd9+fGjhVd7dkwbQNYG3MlkpniNp07bQFLO5fbG1RsUkSySK1b5vcdM8nj5 M1t6I3tXS1eeChv4uak6HDuJmJcI5Cj5TEW17hXXPvHjf5tP0VtGiUdrWLOGhcYm KYyTAzM8lCCSRKWp57FLEpXJan7cJxeiDCDyMN9WJ17yWtvI+nKdHTeOaQopx61X su3hMHyMwHXy3fX8DzWgveIOmqrkOUXGGEZd4o7fvYZQu7l7EaR7PSZbfF+ZkRyj DZoLPIqJYn7trlzoK22lJYBp8GJSVm2KBuDYtGMputOtKRrXoTO6Fq7ITdPkmZBA YX/qWSp9rYNzUHUgzFcvYshEgvG/muFZ11f8uSHcn8KqqpwtXLVhVAmFDR24BiM2 wohyw2h1ki1FWkBCLeGRz9CPVUZjT54fbh/n+3pHAgZUURtzaqINzPZC+gB3nYbY zOeg/S8uJYHdtN8br7KS9SNBfakOMQqaVUrvQvvJ4ioeQFnc7n5iME+aBjDNKgCH hr/pGvaRuPmjwO/ni5JbT6Qc2ku249vx9wUjGuUZOaHrOjD1JEPg/EvX8MOPqdeG PmVO+N1E80enq5QyjNBmS8LUg2yxAMYLgH69YiXgu83GxDSGyz4= =CUji -----END PGP SIGNATURE----- --=-=-=--