Re: developing software with guix environment

2017-07-18 Thread Ludovic Courtès
Hi, Adonay Felipe Nogueira skribis: > About "preventing environment from being updated by ‘guix pull’ in the > meantime", do you mean that: > > 1. Even if I specify the `--root [Some file path.]` option to `guix >environment`. > > 2. Exit/leave the environmente due to other stuff. > > 3. Som

various packaging issues

2017-07-18 Thread Dave Love
I was looking at making packages for HPC-related stuff I'm familiar with and I'm wondering how to translate features of the rpm or dpkg packaging that I understand. I couldn't see answers in the doc or immediately find examples; apologies if I've missed something obvious. * I should specify a dis

Re: various packaging issues

2017-07-18 Thread Ludovic Courtès
Hello Dave, Glad to see another Guix user in HPC! Dave Love skribis: > * I should specify a disjunction of licences like "BSD or GPLv2" rather > than the conjunction, which seems to be represented as a list (though > the doc doesn't say what a list represents). I.e. in Fedora-ish > rpm-s

Re: grub not properly installing in GuixSD

2017-07-18 Thread Joshua Branson
I believe the board and APU came out around 2014. The cpu is an AMD AM1. The mother board is the gigabyte AM1M-S2H. The specification for that board is here: https://www.gigabyte.com/Motherboard/GA-AM1M-S2H-rev-10#sp On the BIOS column it says: 1 x 32 Mbit flash. Does that mean that the fi

Re: various packaging issues

2017-07-18 Thread Adonay Felipe Nogueira
About the license field notation, I don't know if this is indeed what the GNU Guix project interpretes about it, but for me I always see a list of licenses as being connected with a series of "or"'s. One thing to note however, and I often find it simpler to do, is that: at least in *my* opinion, t

Re: various packaging issues

2017-07-18 Thread Dave Love
l...@gnu.org (Ludovic Courtès) writes: > Hello Dave, > > Glad to see another Guix user in HPC! Not exactly, I'm afraid. This is largely academic research as I have to deal with and contribute to a typical mess of "module" stuff (which isn't at all modular, or course). [I'm surprised that someth

Re: grub not properly installing in GuixSD

2017-07-18 Thread Marius Bakke
Joshua Branson writes: > BUT to be sure, I entered my bios and now my computer will only boot in UEFI > mode. When I tell my computer to boot via the usb (using UEFI and booting > GuixSD), it fails to boot at some point. Here’s some of the last entries: > > snd_hda_codec_realtex hdaudioC1D0:

Re: various packaging issues

2017-07-18 Thread Dave Love
Adonay Felipe Nogueira writes: > About the license field notation, I don't know if this is indeed what > the GNU Guix project interpretes about it, but for me I always see a > list of licenses as being connected with a series of "or"'s. That appears to be wrong, and certainly wouldn't be the usu