Re: Questionable "cosmetic changes" commits

2020-12-04 Thread Mark H Weaver
I wrote: > I just hacked up a little script to determine which ordering is more > common. For simplicity, it only considers top-level declarations of the > form (define-public (package ...)). To be more precise, it only considers packages of that form where the '...' contains both 'home-page'

Re: Questionable "cosmetic changes" commits

2020-12-04 Thread Mark H Weaver
Hi Raghav, "Raghav Gururajan" writes: > Yeah, my brain laterally connects fields of different package > definitions. Like a spread-sheet, where each columns are different > package definitions and each row is a fields of a package's > definition. > > For example, if column 1 is glib and column

Re: guix environment: error: cannot create container: unprivileged user cannot create user namespaces

2020-12-04 Thread yasu
Hi Pj, Thank you for you reply (and your wonderful Hacking Guide https://gitlab.com/pjotrp/guix-notes/blob/master/HACKING.org)! I tried the command and it didn't work... I use Guix System (not a foreign distribution) as described at the bottom :-) -Yasu On Fri, 2020-12-04 at 19:55 +0100,

Question about Guix on Novena - mainly U-Boot

2020-12-04 Thread Stefan
Hi Danny! You may want to try to set "CONFIG_PREBOOT=\"usb start; sata init; part list sata 0 -bootable devplist\"". I do something similar to execute "dhcp" to enable booting via tftp. Maybe take a look at my recent patch¹ as well, which aims to ease such configuration changes. Bye Stefan

Declaring channel dependencies in the operating-system configuration

2020-12-04 Thread Elais Player
Hi Guix! One thing that I've often found to be annoying was manually adding a channels.scm file to systems, and I've come up with a solution that I'd like to share. For those interested in having their channels.scm be added as part of the system generation process, just do the following. Create

Re: Question about Guix on Novena - mainly U-Boot

2020-12-04 Thread Danny Milosavljevic
For reference, the config.scm I used was: (use-modules (gnu) (gnu bootloader u-boot)) (use-service-modules networking ssh desktop) (use-package-modules bootloaders screen ssh linux) ;;; Note: Maybe better: linux-libre-arm-generic ;;; Note: Novena upstream uses Kernel 3.19 (operating-system

Re: guix environment: error: cannot create container: unprivileged user cannot create user namespaces

2020-12-04 Thread Pjotr Prins
On Fri, Dec 04, 2020 at 05:32:08PM +0100, zimoun wrote: > Have you tried to do the recommandation? > > please set /proc/sys/kernel/unprivileged_userns_clone to "1" As root: echo 1 > /proc/sys/kernel/unprivileged_userns_clone Yes, it is common on Debian and such. Pj.

Question about Guix on Novena - mainly U-Boot

2020-12-04 Thread Danny Milosavljevic
Hi, I'm still in the process of setting up the Novena as a GNU Mes for ARM build machine. Guix system on Novena from sd card finally works. Now I want to make it boot it from SATA instead. So I did the following: (1) Used cp -a to copy over everything from the sd card / to the sata drive

Re: guix environment: error: cannot create container: unprivileged user cannot create user namespaces

2020-12-04 Thread Yasuaki Kudo
Hi everyone! I use both: * Guix System with Linux(non-Libre) Kernel, straight on my desktop PC * Guix System on Linux subsystem on Windows 10 (https://github.com/giuliano108/guix-packages/blob/master/notes/Guix-on-WSL2.md) on Microsoft Surface Book and both started to exhibit the same problem

Re: guix environment: error: cannot create container: unprivileged user cannot create user namespaces

2020-12-04 Thread Yasuaki Kudo
Hi Ricardo, No, it wasn't enough. (I could be wrong - I am still learning Guix. ) But I spent a lot of time picking my hair out, trying to figure out why guix edit hello would not find the scm file under my locally checked out guix repository. When I followed the instructions on the link,

Re: guix environment: error: cannot create container: unprivileged user cannot create user namespaces

2020-12-04 Thread zimoun
Hi, Thanks for the report. Are you using Guix System or Guix on foreign? On Fri, 4 Dec 2020 at 16:53, yasu wrote: > I rely on the -C option below to compile ./pre-inst-env . Aside that nothing, --pure, or -C should work. The nothing could not, depending on your setup. Anyway. >

Re: guix environment: error: cannot create container: unprivileged user cannot create user namespaces

2020-12-04 Thread Ricardo Wurmus
Hi Yasu, > I rely on the -C option below to compile ./pre-inst-env . […] > I hope this is a bug that can be fixed. Otherwise, it looks like I > won't be able to compile pre-inst-env? Is “guix environment --pure” not enough? -- Ricardo

guix environment: error: cannot create container: unprivileged user cannot create user namespaces

2020-12-04 Thread yasu
Hi Guix Development, I rely on the -C option below to compile ./pre-inst-env . guix environment -C guix (I learned the technique through https://gitlab.com/pjotrp/guix-notes/blob/master/INSTALL.org - ./pre-inst-env just won't compile correctly unless I follow the instructions on the page)

Re: Questionable "cosmetic changes" commits

2020-12-04 Thread Danny Milosavljevic
Hi Raghav, first, let me say that as far as I'm concerned, you did nothing wrong--although it caused a lot of work for you to do the rearranging in the first place (and also some work for us). Guix irregularities also annoy the hell out of me. You can check out some earlier patches by me (when

Re: PhD position in the area of secure software supply chain

2020-12-04 Thread zimoun
Hi Julien On Thu, 03 Dec 2020 at 21:47, Julien Lepiller wrote: > https://softwarediversity.eu/hardening-the-software-supply-chain-with-multi-compilers/ Cool! :-) Aside, reading a bit some links from there, I am asking myself if Guix should not be the right platform to test DDC and diversity.