Re: [V2 PATCH 1/1] services: Add agetty service.

2017-03-07 Thread Ludovic Courtès
Leo Famulari skribis: > Veering off-topic, I wonder what created that device node /dev/ttyS1? I > have 32 of them, but (gnu build linux-boot) appears to only create the > first one: udev did! Ludo’.

Re: [V2 PATCH 1/1] services: Add agetty service.

2017-02-17 Thread myglc2
On 02/17/2017 at 17:59 Leo Famulari writes: > On Fri, Feb 17, 2017 at 01:35:44PM -0500, myglc2 wrote: >> Hi Leo, >> >> I think that what you have is great. With this in my system config ... >> >> (agetty-service (agetty-configuration >> (tty "ttyS1") >> (b

Re: [V2 PATCH 1/1] services: Add agetty service.

2017-02-17 Thread Leo Famulari
On Fri, Feb 17, 2017 at 01:35:44PM -0500, myglc2 wrote: > Hi Leo, > > I think that what you have is great. With this in my system config ... > > (agetty-service (agetty-configuration >(tty "ttyS1") >(baud-rate "115200"))) > > ... it works painlessly on

Re: [V2 PATCH 1/1] services: Add agetty service.

2017-02-17 Thread myglc2
On 02/16/2017 at 02:06 Leo Famulari writes: > On Tue, Feb 14, 2017 at 07:24:17PM -0500, Leo Famulari wrote: >> This 'extra' is a time-saving kludge. I'll add fields for all of >> agetty's configuration options once I'm satisfied that the service works >> on GuixSD. > > Here's a patch that exposes

Re: [V2 PATCH 1/1] services: Add agetty service.

2017-02-17 Thread Leo Famulari
On Fri, Feb 17, 2017 at 08:48:28AM +0100, Ricardo Wurmus wrote: > Leo Famulari writes: > > Is this the right way? Or would we rather wrap only the most > > commonly-used options, and leave an "escape hatch" as in the first > > version of the patch? If so, which options should we expose in Scheme?

Re: [V2 PATCH 1/1] services: Add agetty service.

2017-02-16 Thread Ricardo Wurmus
Leo Famulari writes: > On Tue, Feb 14, 2017 at 07:24:17PM -0500, Leo Famulari wrote: >> This 'extra' is a time-saving kludge. I'll add fields for all of >> agetty's configuration options once I'm satisfied that the service works >> on GuixSD. > > Here's a patch that exposes (almost all) of agett

Re: [V2 PATCH 1/1] services: Add agetty service.

2017-02-15 Thread Leo Famulari
On Tue, Feb 14, 2017 at 07:24:17PM -0500, Leo Famulari wrote: > This 'extra' is a time-saving kludge. I'll add fields for all of > agetty's configuration options once I'm satisfied that the service works > on GuixSD. Here's a patch that exposes (almost all) of agetty's command-line options. Is th