Re: virtual network interfaces in container

2019-02-14 Thread Giovanni Biscuolo
Hello Chris, Christopher Baines writes: [...] > So, a while back, I did send a patch to at least allow sharing the hosts > network, just like the --network flag to guix environment. this would be a nice feature! we still couldn't have isolated network interfaces per container but it's a very u

Re: Public key missing for Guix installation script?

2019-02-14 Thread Giovanni Biscuolo
Hello Evan, please consider that help-g...@gnu.org is more appropriate for this kind of questions :-) evan.stra...@gmail.com writes: [...] > this command: > gpg --keyserver pool.sks-keyservers.net --recv-keys > 3CE464558A84FDC69DB40CFB090B11993D9AEBB5 > > However, upon running that gpg comman

Re: Public key missing for Guix installation script?

2019-02-14 Thread Efraim Flashner
On Wed, Feb 13, 2019 at 09:02:46PM -0800, evan.stra...@gmail.com wrote: > Hello, > Tried to post this once before but it got rejected from the mailing > list for some reason. > I'm trying to install GNU Guix using the installation script > (https://git.savannah.gnu.org/cgit/guix.git/plain/etc/guix-

Re: It's time to build "guix deploy"

2019-02-14 Thread Pjotr Prins
On Thu, Feb 14, 2019 at 08:14:15AM +0100, swedebugia wrote: >I understand most parts of it ;) >It is a real beauty and a testiment to the power of Guix and Guile. > >actually mainenance.git is full of treasures :-) > > Berlin consists of a head node and many almost identical serv

Re: Public key (and mailing list issue)

2019-02-14 Thread Ricardo Wurmus
Brett Gilio writes: > I am sending this email on behalf of a friend trying to install the Guix > binary using the shell script. It appears his email is being rejected as > "inappropriate by the moderator." for some unknown reason. I think it > might be a spam-filter mechanism against his @gmail

Re: Public key (and mailing list issue)

2019-02-14 Thread Giovanni Biscuolo
Hi Brett, hi devels Brett Gilio writes: [...] > Upon investigation of the key server it seems that Ludo's key is > missing. i searched for it four times in 5 minutes and it worked three times, failing twice with "No data"; anyway it seems to me that search is always very slow this issue has b

Re: Packaging CDEmu and VHBA kernel module

2019-02-14 Thread Chris Marusich
Pierre Neidhardt writes: > - Where to store the kernel module? I'm not sure what the best way to build and use this will be. FWIW, I found these prior discussions. Maybe they'll be useful: https://lists.gnu.org/archive/html/guix-devel/2016-07/msg01457.html https://lists.gnu.org/archive/html/g

Re: Guix-HPC activity report

2019-02-14 Thread Marco van Hulten
Ludovic— On 12 Feb 14:51 Ludovic Courtès wrote: > We have just published an activity report of Guix-HPC for the past 18 > months: > > > https://guix-hpc.bordeaux.inria.fr/blog/2019/02/guix-hpc-activity-report-2018/ > > As you may know, some of us are involved at work with Guix in a > scientif

Re: It's time to build "guix deploy"

2019-02-14 Thread Giovanni Biscuolo
Hi swedebugia! swedebugia writes: [...] > I understand most parts of it ;) > It is a real beauty and a testiment to the power of Guix and Guile. [...] >> IMHO your remote host configuration technique deserves a dedicated >> blog >> article... but I've already asked too much :-) > > Good idea

Re: Guix Emacs: use XRandr rather than Gdk?

2019-02-14 Thread Pierre Neidhardt
Sounds like a good clue, please go ahead :) -- Pierre Neidhardt https://ambrevar.xyz/ signature.asc Description: PGP signature

Re: New topic: packaging

2019-02-14 Thread Gábor Boskovits
Hello, > Then it would involve the whole things: > > * git clone ... > * go into guix directory > * Enter the environment: > guix environment guix > --> Explain what happens here and what's so cool about it. > * ./bootstrap > * ./configure --localstatedir=/var > * make > * Then the import begi

Re: New topic: asking for help

2019-02-14 Thread Gábor Boskovits
Hello, > * First entry maybe is the homepage as such. > * Then show the documentation [or: are we here already assuming that > someone found that?]. > * Then mailing list (dev/help). > * IRC channel is also quite a help, I would mention that too. > * There is the debbugs bug tracker > (https://deb

Re: New topic: packaging

2019-02-14 Thread Laura Lazzati
Hi! was planning to add my point of view a little later, after finishing my draft of everyday use, which I am also finding that only with concepts and showing the basic commands lasts three minutes up to now, and I still have a lot to show/mention. > Yes, I agree to this outline. One possibility i

Re: Guix-HPC activity report

2019-02-14 Thread Ludovic Courtès
Hello, Marco van Hulten skribis: > On 12 Feb 14:51 Ludovic Courtès wrote: >> We have just published an activity report of Guix-HPC for the past 18 >> months: >> >> >> https://guix-hpc.bordeaux.inria.fr/blog/2019/02/guix-hpc-activity-report-2018/ >> >> As you may know, some of us are involve

Re: Packaging FreeCAD

2019-02-14 Thread John Soo
Hello Guix, I have some small updates and asking for help on freecad (I’m working from my channel github.com/jsoo1/guix-channel). I have been getting a little stuck building the pyside2 dependencies. It seems like freecad is moving from the pyside1 tools (Shiboken and pyside) to pyside2 for the

Re: Guix-HPC activity report

2019-02-14 Thread zimoun
Hi, I have quickly given a look at some pointer. For example, some presentations at the EasyBuild meetup. There are slides with not so nice figures, e.g., p45 of [1] about FFTW. I remember similar number in other easybuild presentation. In the Guix FFTW package definition, there is a comment abou

Re: It's time to build "guix deploy"

2019-02-14 Thread Giovanni Biscuolo
Hello Pjotr, thanks for sharing your thougts! Pjotr Prins writes: [...] > I am still using that setup today, to configure web, mail > servers and home directory. The tool is here > > https://github.com/pjotrp/deploy quiting from the README: "`deploy’ is a deployment tool which operates in t

manage /boot/grub/grub.cfg without installing grub binaries to disk

2019-02-14 Thread Clément Lassieur
Hi Jack and Raghav, Could you try this? --8<---cut here---start->8--- (bootloader-configuration (bootloader (bootloader (inherit grub-bootloader) (installer #~(const #t) --8<---cut here---end--->8

Re: Rust 1.19 fails to build on i686 on ‘staging’

2019-02-14 Thread Danny Milosavljevic
Hi Chris, On Wed, 13 Feb 2019 20:35:51 -0800 Chris Marusich wrote: > My understanding is that "term-signal: 8" means the process (rustc) was > terminated by signal 8 (SIGFPE on my system according to "kill -l"). Is > that right? According to upstream [1], it might be SIGABRT, but I see your re

problem with dockerd service

2019-02-14 Thread Giovanni Biscuolo
Hi! I'm trying to create a VM with a dockerd service installed I'm using the same configuration as the one used in this bug #34333 http://issues.guix.info/issue/34333 except I removed gfs package gnome and desktop services I get this error: --8<---cut here---start

Re: It's time to build "guix deploy"

2019-02-14 Thread Pjotr Prins
On Thu, Feb 14, 2019 at 04:35:47PM +0100, Giovanni Biscuolo wrote: > the very reason I'm here is I don't want to use *anymore* *any* of them, > with all due _respect_ for the venerable projects, your included! I did not intend to push my 'solution'. I want to get away from that too! > I've used P

Re: problem with dockerd service

2019-02-14 Thread Danny Milosavljevic
Hi Giovanni, On Thu, 14 Feb 2019 18:27:03 +0100 Giovanni Biscuolo wrote: > I'm trying to create a VM with a dockerd service installed > > I'm using the same configuration as the one used in this bug #34333 > http://issues.guix.info/issue/34333 > except I removed gfs package gnome and desktop se

Re: manage /boot/grub/grub.cfg without installing grub binaries to disk

2019-02-14 Thread Raghav "RG" Gururajan
Hi Clement! > > Thanks! Will do. > > @Jack. Can you also try this and let me know. My system is running dd command > for 2TB HDD. So gonna take a while. > > Thanks! Original Message On 14 Feb 2019, 12:15, Clément Lassieur wrote: > Hi Jack and Raghav, > > Could you try this? > >

Re: Tracking and inspecting how Guix changes over time

2019-02-14 Thread Christopher Baines
Ricardo Wurmus writes: > Christopher Baines writes: > >>> For an automated system like this, it’s a bit different, so using a >>> container makes a lot of sense. I’d suggest having an option directly >>> in (guix inferior) to allow users to choose whether to run an inferior >>> in separate nam

Re: New topic: asking for help

2019-02-14 Thread Laura Lazzati
Hi! > > * First entry maybe is the homepage as such. Guix site? > > * Then show the documentation [or: are we here already assuming that > > someone found that?]. We are adding in every video the link to the full documentation in the last slide. > > * Then mailing list (dev/help). > > * IRC channel

New Danish PO file for 'guix' (version 0.16.0)

2019-02-14 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'guix' has been submitted by the Danish team of translators. The file is available at: https://translationproject.org/latest/guix/da.po (We can arrange things so that in the