Re: Installer: GUIX_IMAGE as /dev/sda on some hardware?

2019-05-31 Thread Danny Milosavljevic
Yeah, but disk ids are not uuids. /dev/disk/by-id seems to be a good way to find those disk ids in order to pass them to grub-install. I doubt that this can be made OS-independent--even the udev rules specify different variables for different devices, sometimes it's bus id and serial number, some

Re: Installer: GUIX_IMAGE as /dev/sda on some hardware?

2019-05-31 Thread Tobias Geerinckx-Rice
Ludovic Courtès wrote: Danny Milosavljevic skribis: Grub already can search by uuid or label (via "search --fsuuid" and "search --label", respectively). IF you specify an uuid or label in your operating-system configuration it will use that. These are concerned with file system UUIDs/label

Re: glibc 2.29 needs Python

2019-05-31 Thread Ludovic Courtès
Howdy! Ricardo Wurmus skribis: >> I started looking at what it would take to upgrade glibc to 2.29 on >> ‘core-updates’. Bad news: it depends on Python. > > I had to check the date. This is for real? It’s not a June 1st prank, I swear! Also note that I did try to pass “ac_cv_path_PYTHON_PROG

Re: Lightning talk at IPFS camp

2019-05-31 Thread Ludovic Courtès
Hi Pierre, Pierre Neidhardt skribis: > I'm going to the IPFS camp (https://camp.ipfs.io/) on June 27th and I've > been asked to give a (5 minute) lightning talk about IPFS & Guix. Yaik! :) Excellent, I’m sure you’re going to have a great time! > I'll have to prepare some slides (probably in O

Re: Crosscompiling C++ for powerpc64le fails

2019-05-31 Thread Ludovic Courtès
Hi Danny, Danny Milosavljevic skribis: > I've investigated a bit more: > > Guix's gcc-4.7 passes > > (string-append "--with-native-system-header-dir=" libc "/include") > where libc is (assoc-ref %build-inputs "libc") > > . > > However, further down, there is > > `(let* ((libc

Re: #850644: RFP: Guix in Debian

2019-05-31 Thread Ludovic Courtès
Hello! Vagrant Cascadian skribis: >> After all that, I did get to the point where I could at least try to >> compile guix: >> >> https://salsa.debian.org/vagrant/guix > > With local builds of the above packages, I've got a working guix > package! Woohoo, awesome! > It still needs a way to ge

Re: Installer: GUIX_IMAGE as /dev/sda on some hardware?

2019-05-31 Thread Ludovic Courtès
Hi Danny, Danny Milosavljevic skribis: > Grub already can search by uuid or label (via "search --fsuuid" and > "search --label", respectively). IF you specify an uuid or label > in your operating-system configuration it will use that. These are concerned with file system UUIDs/labels, whereas

Re: Documentation videos are being uploaded!

2019-05-31 Thread Ludovic Courtès
¡Hola! :-) Laura Lazzati skribis: >> Agreed! The result is really nice, and the workflow you came up with is >> a nice piece of engineering, too. > Thank you very much Ludo :) >> >> Where should we go from there? >> >> There are several tasks that could be started (translating, adding color >>

Re: url-fetch with referer

2019-05-31 Thread Ludovic Courtès
Pierre Neidhardt skribis: > Ludovic Courtès writes: > >> More generally, we’ve added a couple of HTTP headers for issues that >> were relatively common. We could easily fix this one, but maybe you >> could first talk to the webmasters, because requiring ‘Referer’ sounds >> obnoxious; WDYT? > >

[ANNOUNCE] ganeti-instance-guix 0.3

2019-05-31 Thread Marius Bakke
Hello, I am happy to announce a new version of 'instance-guix', a Ganeti OS provider that creates Guix systems. It is a <100 line shell script. This is a complete rewrite over 0.2 that adjusts for the new 'guix pull' interface in recent versions of Guix. Passing a configuration file is now also