bug#33897: 'guix publish' is unable to serve narinfos for dead items

2019-05-25 Thread Ludovic Courtès
Ludovic Courtès skribis: > ‘render-narinfo/cached’ in ‘guix publish’ uses ‘hash-part->path’ to go > from /xyz.narinfo to, say, /gnu/store/xyz-guile-2.2.4. > > The problem is that ‘hash-part->path’ is an RPC that works only if xyz > corresponds to a live item; in other cases, it returns the empty

bug#35908: version

2019-05-25 Thread Pronaip
oh wait, i found the version info guix (GNU Guix) 0.16.0-11.f970946

bug#35178: Agda doesn't build

2019-05-25 Thread Pronaip
Oh I forgot to update this. The build seems to work fine now for some reason. Sent with ProtonMail Secure Email. ‐‐‐ Original Message ‐‐‐ On Tuesday, April 9, 2019 12:58 PM, Ludovic Courtès wrote: > Pronaip pron...@protonmail.com skribis: > > > ‐‐‐ Original Message ‐‐‐ > > On

bug#35908: guix describe: error: failed to determine origin (and possibly failed upgrades)

2019-05-25 Thread Pronaip
I've been getting this error ever since I first installed Guix on Arch, but I have no idea why. I've ran guix pull and guix package -u both as root and as my own user several times since then but this error hasn't gone away. Also I noticed that some functionality that works on my GuixSD install

bug#35640: Make USB modems just work on Guix

2019-05-25 Thread pelzflorian (Florian Pelz)
On Sat, May 25, 2019 at 07:44:37PM +0200, Ludovic Courtès wrote: > "pelzflorian (Florian Pelz)" skribis: > > The udev rules file in usb-modeswitch-data has lines like: > > > > ATTR{idVendor}=="03f0", ATTR{idProduct}=="002a", RUN+="usb_modeswitch '/%k'" > > > > Maybe I should substitute these by >

bug#35904: Rx 580 and Guix

2019-05-25 Thread Jakob L. Kreuze
The "[drm:amdgpu_init [amdgpu]] *ERROR* VGACON disables amdgpu kernel modesetting." in your dmesg output comes from the 'nomodeset' parameter. If possible, I'd try setting up an SSH daemon, removing 'nomodeset' from your kernel command-line, and getting dmesg output remotely. (I assume you don't

bug#35904: Rx 580 and Guix

2019-05-25 Thread Marlon
I'm trying to get my rx580 to work with the free amdgpu or ati drivers under Guix. I got some tips at the hnode page for the card, anybody knows how to get this to work? https://h-node.org/videocards/talk/en/2024

bug#35902: Guix resets passwords on reconfigure

2019-05-25 Thread Marlon
My user and root passwords have been reset about 3 times in 4 days upon running guix system reconfigure. I can't seem to recognize any pattern, it appears to occur randomly, and it requires setting passwords manually. The password is left blank, and could be a security issue, as anybody would

bug#35903: Guix fails to build dependencies when trying to use services

2019-05-25 Thread Marlon
When i add the alsa service or tell xorg to use the ati module, guix fails to build dependencies upon reconfiguring. Error: https://dpaste.de/zsOE Backtrace: https://dpaste.de/DEYL Config.esm: https://dpaste.de/1YKS

bug#35640: Make USB modems just work on Guix

2019-05-25 Thread Ludovic Courtès
Hello, "pelzflorian (Florian Pelz)" skribis: > Please find attached a patch that no longer propagates > usb-modeswitch-data from usb-modeswitch. I can now modeswitch my USB > modem by running Yay! > The udev rules file in usb-modeswitch-data has lines like: > > ATTR{idVendor}=="03f0",

bug#35874: “guix pull” fails on setlocale

2019-05-25 Thread Ludovic Courtès
Hi! Ricardo Wurmus skribis: > Ludovic Courtès writes: [...] >> When you do ‘guix pull’, the resulting (guix config) is supposed to >> honor the settings of the calling ‘guix’: %localstatedir, etc. >> >> It seems that it wasn’t the case here? Could you try again running >> ‘guix pull’ from a

bug#35865: compute-guix-derivation failed to compute the derivation for Guix

2019-05-25 Thread Ludovic Courtès
Hello, Keith Thompson skribis: > Computing Guix derivation for 'x86_64-linux'... |@ substituter-started > /gnu/store/mn3ymm3f2r4xjqf8m9fgmadh6b8p6fvr-glibc-utf8-locales-2.28 > /gnu/store/ncknl03pkmamrxg7q9nxi1rn1qhvwbi9-guix-1.0.1/libexec/guix/substitute > |guix substitute: error: connect:

bug#35852: Disk device disappears before installer can mount it

2019-05-25 Thread Ludovic Courtès
Hello Graham, Graham Lee skribis: > To recap, I’m choosing the guided partition scheme, with everything in a > single partition. The installer proposes a reasonable scheme: it keeps my EFI > partition, then a big e4fs, then a Linux swap partition. > I accept that, and go through connecting to

bug#35901: Installer first check for wifi then format the disk

2019-05-25 Thread juh
Hi all, can you change the installer steps and check for wifi at first and then format the disks? I inserted the usb stick and started the installation only to see that no wifi was discovered. Sadly the disks now are formatted and I have to reinstall my old OS. juh

bug#35900: Can't logout and login again

2019-05-25 Thread Philip K.
Hi, I've just installed the Guix System on my laptop (TP X230) yesterday, but I consistently find myself running into the problem that I can't use a X session properly. I've reinstalled the system multiple times with different DE's (LXQt, Mate, XFCE) and DM's (slim, GDM), but the issue persists:

bug#35875: Guix won't boot after installation with fully encrypted disk

2019-05-25 Thread Reg
Hi Ludovic and Giovanni, >> Does your compute have an AMD graphics card that could lead the kernel >> (KMS) to wreck havoc during initialization? No AMD but... > AFAIU ThinkPad T430 could come with an additional "NVIDIA NVS 5400M" GPU > [1] that is very Linux _unfriendly_; you can check this by

bug#35640: Make USB modems just work on Guix

2019-05-25 Thread pelzflorian (Florian Pelz)
On Sat, May 25, 2019 at 01:18:56PM +0200, pelzflorian (Florian Pelz) wrote: > I added the --config-file option since by default > usb_modeswitch_dispatcher loads its optional config file from /etc and > a future Guix service type for USB_ModeSwitch should be able to pass a > config file. > […] > +

bug#35640: Make USB modems just work on Guix

2019-05-25 Thread pelzflorian (Florian Pelz)
On Fri, May 24, 2019 at 10:12:10PM +0200, pelzflorian (Florian Pelz) wrote: > I will send an updated patch tomorrow with a working ”dispatcher“ > output. > Please find attached a patch that no longer propagates usb-modeswitch-data from usb-modeswitch. I can now modeswitch my USB modem by

bug#35108: ungoogled-chromium fails to install

2019-05-25 Thread Marius Bakke
Jeff Bauer writes: > On Thu, May 16, 2019 at 04:52:14PM +0200, Marius Bakke wrote: >> The problem with Ungoogled-Chromium is that it (at some point) uses >> 6-8GiB of memory *per core* during the build. >> >> It would be great to codify this constraint in the package definition, >> but I can't

bug#35875: Guix won't boot after installation with fully encrypted disk

2019-05-25 Thread Giovanni Biscuolo
Hello Reg, Ludovic Courtès writes: [...] >> On boot, I am being prompted for the encryption key. So far so >> good. The Grub menu is then displayed and disappears after a few >> seconds – as it should – after which the computer is stuck on the >> Grub > > Weird. The strange behaviour here is