RE: good practices in science

2020-04-08 Thread Konrad Hinsen
bijan ghavami-kia writes: > It’s an interesting prospect, shouldn’t we be working towards this > fantastical goal? We (Guix) are already working towards the abstract goal of this project, because what Guix does is effectively provenance tracking for computations. Guix' package dependency graph i

New Russian PO file for 'guix-manual' (version 1.1.0-pre1)

2020-04-08 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'guix-manual' has been submitted by the Russian team of translators. The file is available at: https://translationproject.org/latest/guix-manual/ru.po (We can arrange things

Re: Syntax errors in latest guix-manual ru.po

2020-04-08 Thread Pavlo Marianov
I understood about @ref, @xref, etc. So I fixed all those wrongly translated strings and uploaded to TP. ср, 8 квіт. 2020 о 02:40 Julien Lepiller пише: > Le 7 avril 2020 16:17:49 GMT-04:00, "Ludovic Courtès" a > écrit : > >Hi, > > > >Pavlo Marianov skribis: > > > >>> doc/contributing.ru.texi:3

Re: Proxy settings wrt guix daemon

2020-04-08 Thread Mathieu Othacehe
Hello, > BTW, if we agree, could you change these strings so we can do a last > round through the TP and release Thursday/Friday? Yes, I applied those changes and added proxy support. I'll try to see how connman is behaving now. Thanks, Mathieu

Re: Syntax errors in latest guix-manual ru.po

2020-04-08 Thread Ludovic Courtès
Hi, Pavlo Marianov skribis: > So I fixed all those wrongly translated strings and uploaded to TP. The problem is still there: --8<---cut here---start->8--- $ wget -qO - https://translationproject.org/latest/guix-manual/ru.po |grep '^msgstr.*@url{@value' msg

Re: Proxy settings wrt guix daemon

2020-04-08 Thread Ludovic Courtès
Hi Mathieu, Mathieu Othacehe skribis: >> BTW, if we agree, could you change these strings so we can do a last >> round through the TP and release Thursday/Friday? > > Yes, I applied those changes and added proxy support. I'll try to see > how connman is behaving now. That was fast! It looks re

New Russian PO file for 'guix-manual' (version 1.1.0-pre1)

2020-04-08 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'guix-manual' has been submitted by the Russian team of translators. The file is available at: https://translationproject.org/latest/guix-manual/ru.po (We can arrange things

Re: Syntax errors in latest guix-manual ru.po

2020-04-08 Thread Pavlo Marianov
Ah, saw that problem. One '}' was missed. ср, 8 квіт. 2020 о 13:35 Ludovic Courtès пише: > Hi, > > Pavlo Marianov skribis: > > > So I fixed all those wrongly translated strings and uploaded to TP. > > The problem is still there: > > --8<---cut here---start->8

Re: Guix System on a GCE VM -- Success

2020-04-08 Thread Jelle Licht
Hey there, elaexuo...@wilsonb.com writes: > To simplify the process I created a script capable of setting up a GCE > instance > from a local qcow2 image, which I am also attaching. The script is intentially > not a simple turnkey solution, since you should be somewhat familiar with the > GCE inf

Re: Guix System on a GCE VM -- Success

2020-04-08 Thread Jonathan Brielmaier
On 08.04.20 05:16, elaexuo...@wilsonb.com wrote: > The boot problem fix boils down to this: > > (initrd-modules (cons "virtio_scsi" %base-initrd-modules)) > > Referencing Google's documentation on operating system requirements [2], we > see > that their VMs run with Virtio-SCSI controllers; ho

Re: Unencrypted boot with encrypted root

2020-04-08 Thread Alex Griffin
On Wed, Apr 8, 2020, at 7:57 AM, Pierre Neidhardt wrote: > Do you have a working example of this for Guix? Unfortunately not. I do have an old NixOS config[1] where I set things up like this, if what you're looking for is a proof-of-concept. -- Alex Griffin [1]: https://gitlab.com/ajgrf/dotfi

Re: Unencrypted boot with encrypted root

2020-04-08 Thread Ellen Papsch
Hi, Am Dienstag, den 07.04.2020, 09:47 -0700 schrieb Vagrant Cascadian: > On 2020-04-07, Alex Griffin wrote: > > So we can put the key in its own initrd (outside of the store) > > > > I believe it's also possible for grub to provide the key > derived/decrypted from the passphrase entered at run-

Re: Unencrypted boot with encrypted root

2020-04-08 Thread Ellen Papsch
Am Dienstag, den 07.04.2020, 22:19 +0200 schrieb Ludovic Courtès: > Ellen Papsch skribis: > > > Sure, but what happens when you reconfigure? You still need to have > that file around so it can be added to the initrd. > Does it really have to be added to initrd? From my other reply: > These m

Re: 01/02: services: Allow modprobe to use "/etc/modprobe.d".

2020-04-08 Thread Brice Waegeneire
Hello Bengt, On 2020-04-06 09:29, Bengt Richter wrote: On +2020-04-06 07:54:47 +, Brice Waegeneire wrote: What's the issue with using /etc/modrpobe.d? I would think the fundamental issue is pure vs impure dependencies: i.e., /gnu/... vs /var/guix vs /elsewhere/... IIUC, the consequence o

Re: 01/02: services: Allow modprobe to use "/etc/modprobe.d".

2020-04-08 Thread Brice Waegeneire
Hello, On 2020-04-07 09:35, Ludovic Courtès wrote: Brice Waegeneire skribis: On 2020-04-05 21:15, Ludovic Courtès wrote: guix-comm...@gnu.org skribis: Looking at this, I was wondering if it would be possible to not use /etc/modprobe.d and instead have a way to tell the modprobe wrapper to pa

Re: Unencrypted boot with encrypted root

2020-04-08 Thread Alex Griffin
On Wed, Apr 8, 2020, at 12:25 PM, Ellen Papsch wrote: > These may be dangerous waters. The key file in initrd is like a house > key under the mattress. A malicious process could look in the well > defined place and exfiltrate the key. Think state trojan horses. A > random name would not suffice, be

Re: Unencrypted boot with encrypted root

2020-04-08 Thread Vagrant Cascadian
On 2020-04-08, Ellen Papsch wrote: > Am Dienstag, den 07.04.2020, 09:47 -0700 schrieb Vagrant Cascadian: >> On 2020-04-07, Alex Griffin wrote: >> > So we can put the key in its own initrd (outside of the store) >> > >> >> I believe it's also possible for grub to provide the key >> derived/decrypt

MIPS support

2020-04-08 Thread Christopher Baines
Hey, I was wondering about MIPS support, mainly because the Guix Data Service uses QEMU to emulate different systems so that the channel instance derivations can be computed (like [1]). I'm not sure if the emulation is really necessary, but that's how it works at the moment. 1: http://data.guix.

[BLOG] A "Hello World" VM running the Hurd!

2020-04-08 Thread Jan Nieuwenhuizen
Hi! We have just published a new blog post---a follow-up, in a way to last week's April 1 post---about some real achievement: Using Guix we have cross-built a VM image for the Hurd. Read more... https://guix.gnu.org/blog/2020/a-hello-world-virtual-machine-running-the-hurd/ Enjoy! Janneke &

Re: [BLOG] A "Hello World" VM running the Hurd!

2020-04-08 Thread Samuel Thibault
Jan Nieuwenhuizen, le mer. 08 avril 2020 22:02:25 +0200, a ecrit: > We have just published a new blog post---a follow-up, in a way to last > week's April 1 post---about some real achievement: Using Guix we have > cross-built a VM image for the Hurd. Read more... > > > https://guix.gnu.org/bl

Re: [BLOG] A "Hello World" VM running the Hurd!

2020-04-08 Thread Arne Babenhauserheide
Jan Nieuwenhuizen writes: > We have just published a new blog post---a follow-up, in a way to last > week's April 1 post---about some real achievement: Using Guix we have > cross-built a VM image for the Hurd. Read more... > > > https://guix.gnu.org/blog/2020/a-hello-world-virtual-machine

Re: [BLOG] A "Hello World" VM running the Hurd!

2020-04-08 Thread Samuel Thibault
Jan Nieuwenhuizen, le mer. 08 avril 2020 22:02:25 +0200, a ecrit: > Using Guix we have cross-built a VM image for the Hurd. Read more... > > > https://guix.gnu.org/blog/2020/a-hello-world-virtual-machine-running-the-hurd/ It would be nice to have this in a CI, and report when it breaks, so

Re: MIPS support

2020-04-08 Thread Leo Famulari
On Wed, Apr 08, 2020 at 08:32:00PM +0100, Christopher Baines wrote: > I was wondering about MIPS support, mainly because the Guix Data Service > uses QEMU to emulate different systems so that the channel instance > derivations can be computed (like [1]). I'm not sure if the emulation is > really ne

Jami: Bug source investigation

2020-04-08 Thread Jan
Hello, so I tested Jami on core-updates and it didn't fix the bug (https://git.jami.net/savoirfairelinux/jami-packaging/issues/63) Here's my work up to now, it is on wip-jami branch: https://gitlab.com/kromka_chleba/jami-package-and-other-things-for-guix/-/tree/wip-jami https://gitlab.com/kromka_

Re: Guix System on a GCE VM -- Success

2020-04-08 Thread Development of GNU Guix and the GNU System distribution.
> This all looks pretty nifty! Just to be clear, under which license did > you make this script available? Ouch. That was a major oversight. Thanks for bringing this up! I went ahead and put it under the BSD-3-CLAUSE. Attached is the same source with a copyright notice and license header. signa

Re: Guix System on a GCE VM -- Success

2020-04-08 Thread elaexuotee
elaexuotee--- via "Development of GNU Guix and the GNU System distribution." wrote: > > This all looks pretty nifty! Just to be clear, under which license did > > you make this script available? > > Ouch. That was a major oversight. Thanks for bringing this up! > I went ahead and put it under th