Fwd: Status update on 1.0

2019-03-20 Thread Kristofer Buffington
Woops, I meant to send this message to the list

-- Forwarded message -
From: Kristofer Buffington 
Date: Wed, Mar 20, 2019 at 8:51 PM
Subject: Re: Status update on 1.0
To: Gábor Boskovits 


I'm deep into this netlink/rtnetlink business currently. I'm trying to
decide if it's better to use guile-ffi or if it's just easier to use bash
scripts and iproute2. Then virtual network interfaces could map to specific
containerized services, which is my objective. Long-term, the netlink and
rtnetlink fii is the superior approach. But bash scripts could get us
something hacky, but running quickly.

My other curiosity is: would it make more sense for shepherd to generate
virtual network namespaces when services spawn, or is that something the
operating-system declaration should contain?

I'd love to help. I'm on the verge of putting some code down now that the
research is coalescing into a vision. If there's some guidance or
suggestions or otherwise, please try to get me involved!

Kristofer Buffington

On Fri, Mar 15, 2019 at 3:35 PM Gábor Boskovits  wrote:

> Hello,
>
> Thompson, David  ezt írta (időpont: 2019.
> márc. 15., P, 19:32):
> >
>
> > Quick tangent: My memory is a bit fuzzy, but I think that netlink API
> > wrappers would put us one step closer to being able to implement
> > useful network isolation in our container implementation (right now
> > you only have loopback, not so fun), like what Docker can do. Just
> > something to consider. :)
> >
> > - Dave
> >
>
> Yes, that is correct. This is exactly one of the reasons I considered this.
>
> Best regards,
> g_bor
>
>


Re: bug#25453: Keyboard layout configuration

2019-03-20 Thread Ludovic Courtès
Hello nee,

Ludovic Courtès  skribis:

> I’ve already pushed “bdfresize” and “console-setup” partly based on your
> patches:
>
>   
> https://git.savannah.gnu.org/cgit/guix.git/commit/?id=fe77ede70ad292c8fcba80f34b356fecd86f7f78
>   
> https://git.savannah.gnu.org/cgit/guix.git/commit/?id=41a54622b691b68e342a0c7de23fec8de14cb739
>
> The GRUB and Xorg parts look overall like the right thing to me—I’ll
> take some time to review more closely soon.

Inspired by your other patches I’ve posted this series:

  https://issues.guix.info/issue/34929

Ludo’.



Re: Texlive: Asymptote error: Math formula deleted: Insufficient symbol fonts.

2019-03-20 Thread Ricardo Wurmus


Ricardo Wurmus  writes:

> Pierre Neidhardt  writes:
>
>> The issue is actually much worse than that: "tabular" is broken in LaTeX! :(
>
> Oh,
>
>> Sorry, but I can't typeset math unless \textfont 2
>> and \scriptfont 2 and \scriptscriptfont 2 have all
>> the \fontdimen values needed in math symbol fonts.
>
> If only I knew what this means… We could grep for these things in the
> big texlive package and then try to find the equivalent in the modular
> texlive packages.

I find a lot of “setfontdimen” instances in texmf-dist/tex/fontinst/,
including the “mathetx” sub-directory.  There is also
“texmf-dist/tex/lualatex/lualatex-math”, which may be of some use when
lualatex is involved.

For the modular texlive we only have “texlive-tex-fontinst-base”, which
is only for the “base” sub-directory.  Turns out we’re building fontinst
wrong.  There is “texmf-dist/source/fontinst/base/fontinst.ins”, which
is a source package.  Currently, we just copy the pre-generated “base”
sub-directory as if there were no sources.

We should change that, but we have the minor problem that we probably
cannot use the texlive-build-system here as texlive-tex-fontinst-base is
a dependency of texlive-base.  We may have to build the ins file
“manually” or define a new “texlive-fontinst” package that uses
“texlive-tex-fontinst-base” in its bootstrap graph (via the
texlive-build-system).

What do you think?

--
Ricardo




Re: Texlive: Asymptote error: Math formula deleted: Insufficient symbol fonts.

2019-03-20 Thread Ricardo Wurmus


Pierre Neidhardt  writes:

> The issue is actually much worse than that: "tabular" is broken in LaTeX! :(

Oh,

> Sorry, but I can't typeset math unless \textfont 2
> and \scriptfont 2 and \scriptscriptfont 2 have all
> the \fontdimen values needed in math symbol fonts.

If only I knew what this means… We could grep for these things in the
big texlive package and then try to find the equivalent in the modular
texlive packages.

Building the right fonts and configuring them correctly has always been
a problem with the modular texlive packages.

-- 
Ricardo




Re: Packaging Galaxy

2019-03-20 Thread Ricardo Wurmus


Pjotr Prins  writes:

> Anyone here interested in Galaxy (for bioinformatics)? I will want to
> package that at some point. Galaxy is pretty notorious for being
> complicated - a right challenge  :).

I don’t want to package it myself, but I’d be happy to assist / review /
debug.

--
Ricardo




Re: Video narration

2019-03-20 Thread Laura Lazzati
Hi!

> Excellent!
Yeah! That's really GREAT! And I git pulled without any issue :),
thank you! And let me know how we can do with the cli session videos,
since they don't have a reference.
>
> @Laura, Are the texts for the narrations already finalized?  I don’t
> remember if they have been discussed here on guix-devel.  Ideally this
> would happen before recording ;)
Hi  transcript changer ;). I don't remember which transcripts have
been discussed. I believe I only did so with my mentors, sending the
full videos to them.
People can make all the videos from the repo, there they can find
everything, they can create the videos as well as find the
transcripts. I don't see the point in sending only the transcripts,
since they have to watch the video like to match it. And they have my
voice like a reference.
What we agreed with my mentors and I guess with you too was that the
open discussion was about the video and its content, then, after the
deadline for that, I created the video, transcript, everything, and
sent it to them, because we were not going to have enough time to
create videos at all. Gábor has a client that allows us to upload
videos already created, but they were going to be uploaded there after
the recordings I guess, and only for the community, so that they could
watch them. And when approved, have them online on the site.
Was it like that or I misunderstood sth?

Regards :)
Laura



Re: Video narration

2019-03-20 Thread Ricardo Wurmus


Paul Garlick  writes:

> Also, I have provisionally booked next Friday 29th March to do the
> recordings.  I will be getting some help from a sound engineer to use
> the gear in the studio.  All being well it should be possible to do all
> the recordings in one session :)

Excellent!

@Laura, Are the texts for the narrations already finalized?  I don’t
remember if they have been discussed here on guix-devel.  Ideally this
would happen before recording ;)

-- 
Ricardo




Re: Video narration

2019-03-20 Thread Paul Garlick
Hi Laura,

> I have just pushed the last video.
> Please, let me know if everything is fine.

'git pull' and 'git push' are working for me.  I have updated the
README file as an initial test commit.  Please check that you are happy
with the changes.

Also, I have provisionally booked next Friday 29th March to do the
recordings.  I will be getting some help from a sound engineer to use
the gear in the studio.  All being well it should be possible to do all
the recordings in one session :)

Best regards,

Paul.