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 bette

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=41a54622b

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 symb

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

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 discusse

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

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 29