Re: correct 'guix system reconfigure config.scm' files

2018-01-11 Thread Chris Marusich
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.

-- 
Chris


signature.asc
Description: PGP signature


Re: correct 'guix system reconfigure config.scm' files

2018-01-10 Thread Quiliro Ordonez Baca
Martin Castillo  writes:

> Hi,

Hi. Thank you for your reply.

> On 11.01.2018 01:33, Quiliro Ordonez Baca wrote:
>> 
>> I have 3 different config files:
>> pastebin.com/tmLvPAYG
>> pastebin.com/jmYHb6us
>> pastebin.com/aGHcY3Ey
>> I do not remember which one was good.
> good in what sense?

In that it is correctly constructed.

>> 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?

Quiliro



Re: correct 'guix system reconfigure config.scm' files

2018-01-10 Thread Martin Castillo
Hi,

On 11.01.2018 01:33, Quiliro Ordonez Baca wrote:
> 
> I have 3 different config files:
> pastebin.com/tmLvPAYG
> pastebin.com/jmYHb6us
> pastebin.com/aGHcY3Ey
> I do not remember which one was good.
good in what sense?

> Please criticize the sintax where
> appropriate. Thank you.
I think guile can critisize syntax errors, too.
try `guix system build config.scm`

Martin

-- 
GPG: 7FDE 7190 2F73 2C50 236E  403D CC13 48F1 E644 08EC



correct 'guix system reconfigure config.scm' files

2018-01-10 Thread Quiliro Ordonez Baca

I have 3 different config files:
pastebin.com/tmLvPAYG
pastebin.com/jmYHb6us
pastebin.com/aGHcY3Ey
I do not remember which one was good. Please criticize the sintax where
appropriate. Thank you.