Package inputs in manifests

2019-11-17 Thread Ludovic Courtès
Hi Simon! zimoun skribis: >> Ah, that no. But (guix scripts environment) has >> ‘package-environment-inputs’, which does exactly that, and I guess we >> could expose it and document it. > > Maybe I am doing wrong but I get: > > $ ./pre-inst-env guix package -p /tmp/guix-dev -m ~/tmp/manif-dep.s

Re: Profiles/manifests-related command line interface enhancements

2019-11-17 Thread Konrad Hinsen
Hi Ludo, > I’d like to think that writing Guile declarations for the OS config, > manifest, etc. is not just for “power users”. After all people, or > rather “computer-savvy” people in a broad sense, write JSON, YAML, > custom config files etc. routinely, and I don’t think the typical config > we

Re: guix package: Rename "generation" options

2019-11-17 Thread Ludovic Courtès
Hello! Tanguy Le Carrour skribis: > Le 11/08, Hartmut Goebel a écrit : >> i often stumble about generation related short-options being mixed lower >> and upper-case: >> >>   -l, --list-generations[=PATTERN] >>   -d, --delete-generations[=PATTERN] >>   -S, --switch-generation=PATTERN >> >> I wo

Re: Profiles/manifests-related command line interface enhancements

2019-11-17 Thread Konrad Hinsen
Ludovic Courtès writes: > To me it’s not entirely clear that a unified command would be easier to > use for newcomers. For example, I’m not fond of “guix profile” as a Indeed. It's also not clear to me if a single command line package for beginners and power users is the best way to go. Maybe w

Re: Stackage LTS 14

2019-11-17 Thread Timothy Sample
Hi again, Timothy Sample writes: > Marius Bakke writes: > >> I've read some of the changes and they LGTM. If Cuirass is happy, I >> think you can go ahead and merge the branch. \o/ > > I just put everything together and rebased it all on master, fixing > several typos as I did so. :) It see

Re: Wheel group as polkit admins

2019-11-17 Thread Ludovic Courtès
Hi Leo, Leo Prikler skribis: > Since our polkit service expects a list of packages as extension, I > currently use the following in my /etc/config.scm: > > (define polkit-wheel > (package >(name "polkit-wheel") >(version "0") >(source #f) >(build-system trivial-build-system) >

Re: wip blog post: running Guix System on ARM

2019-11-17 Thread Julien Lepiller
Le Thu, 14 Nov 2019 12:05:34 +0100, "pelzflorian (Florian Pelz)" a écrit : > On Thu, Nov 14, 2019 at 10:29:22AM +0100, Pierre Neidhardt wrote: > > Neat, thanks for this article! > > > > Yes, thank you! I have not tried yet though. > > Maybe add the top add instructions what to do if install

Re: wip blog post (v2): running Guix System on ARM

2019-11-17 Thread Julien Lepiller
Le Thu, 14 Nov 2019 13:12:11 +0100, Danny Milosavljevic a écrit : > Hi Julien, > > On Wed, 13 Nov 2019 22:21:54 +0100 > Julien Lepiller wrote: > > > Hi, attached is a draft for a blog post (or a section in the > > cookbook) for explaining how to install the Guix System on an ARM > > board. WDY

Re: ARM VM with networking support?

2019-11-17 Thread Ludovic Courtès
Hi Danny, Danny Milosavljevic skribis: >> What’s the story with ‘readdir’? > > Shooting in the dark, we've had "fun" with readdir on ARM before in GNU Mes > and > ended up doing the following: > > #ifdef __arm__ > #define O_DIRECTORY 0x4000 > /*#define O_DIRECT 0x1*/ > #else > #define O_DIR

overdrive looking for a shelter

2019-11-17 Thread Julien Lepiller
Hi Guix! as I'm going to move by the beginning of January, I will be unable to keep and take care of the overdrive currently at my place. This cute little server is looking for a new shelter. It only needs to be fed a bit of electricity, a few tcp packets from the internet and all your love and af

Re: ARM VM with networking support?

2019-11-17 Thread Ludovic Courtès
Hello! Mathieu Othacehe skribis: >> (BTW, there seem to be other patches in that series that have been >> reviewed but are not yet applied. Is there any particular reason? Are >> we still missing something?) > > Yes, as mentionned here: > https://lists.gnu.org/archive/html/guix-patches/2019-10

Re: Parallel downloads

2019-11-17 Thread Ludovic Courtès
Hi, Leo Famulari skribis: > On Sat, Nov 09, 2019 at 06:40:56PM +0100, Ludovic Courtès wrote: >> Like I wrote, it’s not that simple (we’d first need the daemon to >> distinguish substitution jobs from other jobs, but note that there are >> also “downloads” that are actually derivation builds), an

Re: overdrive looking for a shelter

2019-11-17 Thread Pierre Neidhardt
Hi Julien, so what does this overdrive currently do? :) -- Pierre Neidhardt https://ambrevar.xyz/ signature.asc Description: PGP signature

Re: Wheel group as polkit admins

2019-11-17 Thread Leo Prikler
Hi Ludo, Am Sonntag, den 17.11.2019, 17:46 +0100 schrieb Ludovic Courtès: > Hi Leo, > > Leo Prikler skribis: > > > Since our polkit service expects a list of packages as extension, I > > currently use the following in my /etc/config.scm: > > > > (define polkit-wheel > > (package > >(name

Re: Parallel downloads

2019-11-17 Thread Ludovic Courtès
Hi Mark, Mark H Weaver skribis: > For these reasons, I'm inclined to think that parallel downloads is the > wrong approach. If a single download process is not making efficient > use of the available bandwidth, I'd be more inclined to look carefully > at why it's failing to do so. For example,

Tutorial: Running XFCE from Guix on a foreign distribution

2019-11-17 Thread Marius Bakke
Hello Guixers, Here is an end-to-end tutorial for running Guix XFCE on CentOS 7: https://guix.gnu.org/blog/2019/running-a-guix-xfce-desktop-on-centos-7/ It has only been tested on a special CentOS "appliance", but should be easily adaptable to other systemd-based distributions. Please share you

Re: Wheel group as polkit admins

2019-11-17 Thread Marius Bakke
Ludovic Courtès writes: > Leo Prikler skribis: >> (with-output-to-file (string-append rules.d "/wheel.rules") >> (lambda () >> (display "polkit.addAdminRule(function(action, subject) { >> return [\"unix-group:wheel\"]; >> }); [...] > Should we make that

Re: Test-suite for guix deploy?

2019-11-17 Thread Ludovic Courtès
Hi Hartmut, Hartmut Goebel skribis: > is there a test-suite for "guix depoly" already? Is it run on > ci.guix.gnu.org? There’s no test suite for “guix deploy” as a whole, but there are tests for things it relies on in tests/gexp.scm and gnu/tests/reconfigure.scm. If you have ideas on how to im

Re: overdrive looking for a shelter

2019-11-17 Thread Julien Lepiller
Le Sun, 17 Nov 2019 18:18:53 +0100, Pierre Neidhardt a écrit : > Hi Julien, > > so what does this overdrive currently do? :) > It should happily be building packages for armhf and aarch64. It's one of the build slaves of berlin.

Re: overdrive looking for a shelter

2019-11-17 Thread Pierre Neidhardt
Cool, I'm in Paris, if no one is particularly interested, I can probably adopt the overdrive then! :) To anyone more interested than me: don't hesitate to chime in! -- Pierre Neidhardt https://ambrevar.xyz/ signature.asc Description: PGP signature

Re: Tutorial: Running XFCE from Guix on a foreign distribution

2019-11-17 Thread Pierre Neidhardt
Fantastic, this is a very welcome tutorial to help spread Guix among users on foreign distributions. I vote for adding it to the cookbook! :) -- Pierre Neidhardt https://ambrevar.xyz/ signature.asc Description: PGP signature

Re: wip blog post: running Guix System on ARM

2019-11-17 Thread Ludovic Courtès
Hello, Danny Milosavljevic skribis: > On Wed, 13 Nov 2019 22:21:54 +0100 > Julien Lepiller wrote: > >> Hi, attached is a draft for a blog post (or a section in the cookbook) >> for explaining how to install the Guix System on an ARM board. WDYT? > > I guess it can't hurt to describe this stuff

Re: wip blog post: running Guix System on ARM

2019-11-17 Thread Ludovic Courtès
Hi, Pierre Neidhardt skribis: >> ### The kernel modules >> >> In order for Guix to be able to load the system from the initramfs, it will >> probably need > > Maybe define initramfs? Or just link to > https://en.wikipedia.org/wiki/Initramfs. I’d suggest writing “initial RAM disk (initrd)” to

Re: wip blog post: running Guix System on ARM

2019-11-17 Thread Ludovic Courtès
Hello! Julien Lepiller skribis: > Hi, attached is a draft for a blog post (or a section in the cookbook) > for explaining how to install the Guix System on an ARM board. WDYT? I really like it! Nitpick: s/grub/GRUB/ and s/u-?boot/U-Boot/ (when referring to the software). Perhaps a reference a

Re: Loading modules built using linux-module-build-system

2019-11-17 Thread Ludovic Courtès
Hello, Danny Milosavljevic skribis: >> Thinking more about it, what about handling the union/profile thing in >> ‘operating-system-directory-base-entries’? We could still use >> ‘profile-derivation’ with the hook you wrote, but we’d be able to keep >> that here instead of adding it to (guix pro

Re: Speaking about Guix at NL-RSE 2019

2019-11-17 Thread Ludovic Courtès
Hi Arun, Arun Isaac skribis: > I'm speaking about Guix at the Netherlands Research Software Engineers > Conference 2019 at Amsterdam on November 20 (next Wednesday). > > https://nl-rse.org/events/NL-RSE19.html Neat! > I plan for the talk to be very basic and targeted at an audience new to > Gu

Re: Closing guix system --target support

2019-11-17 Thread Ludovic Courtès
Hi! Mathieu Othacehe skribis: > I pushed the few remaining bits of the serie to core-updates, which > means that it should be possible to cross compile a guix system on that > branch. Awesome! > There's still some work to do because some packages (and build-systems) > have broken or no cross-c

Re: Overhauling the cargo-build-system

2019-11-17 Thread Ludovic Courtès
Hi, Efraim Flashner skribis: > The big problems are the recursive dependencies, the partial > dependencies and the versioning. There are some that are easy to figure > out, serde always needs serde-derive, winapi always needs the > winapi-[i686|x86_64] crates, rayon -> rayon-core, etc. Do you m

Re: [PATCH 1/2] Support publishing build events

2019-11-17 Thread Ludovic Courtès
Hi! Christopher Baines skribis: > I have access to bayfront already, so I think that's the place to try > this out initially. Sounds good. >> IIUC, the ‘send-events’ program is provided as a debugging aid, right? >> I mean it’s not used anywhere in the code. > > Well, it would be potentially b

Re: Why is the default $HOME /homeless-shelter?

2019-11-17 Thread Ludovic Courtès
Hi! Because it’s always been this way! :-) This is inherited from Nix. The rationale is that there’s no home directory in build environments, and perhaps Eelco Dolstra and others back then found that setting ‘HOME’ to a non-existing directory broke fewer builds that leaving it unset. HTH, Ludo

Re: default GNOME desktop background

2019-11-17 Thread Ludovic Courtès
Hello, Alexandros Theodotou skribis: > I find it strange that the default background in the GNOME DE is a > plain color instead of one of the backgrounds installed with > gnome-backgrounds. > > I am not exactly sure how to do this the guix-y way to send a patch, > but the background that gnome u

Re: Why is the default $HOME /homeless-shelter?

2019-11-17 Thread Jesse Gibbons
On Sun, 2019-11-17 at 22:39 +0100, Ludovic Courtès wrote: > Hi! > > Because it’s always been this way! :-) > > This is inherited from Nix. The rationale is that there’s no home > directory in build environments, and perhaps Eelco Dolstra and others > back then found that setting ‘HOME’ to a non

Re: Package inputs in manifests

2019-11-17 Thread Bengt Richter
Hi Ludo, Guix, On +2019-11-17 11:35:07 +0100, Ludovic Courtès wrote: > Hi Simon! > > zimoun skribis: > > >> Ah, that no. But (guix scripts environment) has > >> ‘package-environment-inputs’, which does exactly that, and I guess we > >> could expose it and document it. > > > > Maybe I am doing

Re: guix pull failed after 8 hours

2019-11-17 Thread Konrad Hinsen
Hi Ludo and Chris, > Could it be that those old systems were talking to hydra.gnu.org and > thus not getting any substitutes? > > https://lists.gnu.org/archive/html/info-guix/2019-06/msg1.html That's what happened to me on my oldest Guix installation (hosted on Ubuntu). I had done regular p