<guixy>Upgrading clojure breaks at least one of the tests.
<brettgilio>Just sent an email to the mailing list about some proposals for the formal methods working group. Give it a read, anybody who is interested. :) bandali and I came up with some pretty nifty ideas, especially relating to possibly making a subdomain https://fm.guix.gnu.org/
<brettgilio>The email might be needing approval nckx since I sent it from my gnu.org email address which I don't think has sent an email to the guix-devel mailing list before
<peanutbutterandc>So, I am using `pkg-config` and `guile` from guix. (gcc, etc. are from my foreign distro's package manager. Yes, I like to live on the edge. :D), and I'm trying to compile a program with <libguile.h> but it requires gmp.h, which I installed (via guix) but it fails me again. Any ideas, please? n00b here
<peanutbutterandc>str1ngs, Sorry I am a n00b so I will need a bit more verbose instructions. gcc-toolchain as in guix-installed one? I was hoping to do it with the distro-supplied toolchain and link with guix-supplied libraries just to play around/have fun with it. Is it possible, please?
<str1ngs>peanutbutterandc: libm is part of glibc so it'd not advised to try and link the distro's libc. gcc-toolchain has it's spec file setup to link to the store etc. it's more sane in this case
<peanutbutterandc>str1ngs, I see. How about gmp? gmp isn't part of glibc, and I installed it with guix but I can't manage to compile the tutorial with <libguile.h> (which seems to require <gmp.h>
<str1ngs>peanutbutterandc: you can try with this guix environement --ad-hoc guile gmp gcc-toolchain pkg-config
<str1ngs>grillon: you can maybe use /dev/disk/by-id/<ID>
<str1ngs>but that is technically not UUID and probably not much better then /dev/sda
<str1ngs>grillon: /dev/disk/by-uuid wont work. that only works for partitions. it was a bad suggestion on my part. no pun :P
<gnutec>grillon: Ubuntu has some problems with EFI, Trisquel has too. But Guix System has no problem with EFI installation, we just need to know how to create a new partition table using the gnu parted of guix instalation. I use the gparted of Trisquel, then I install guix system.
<grillon>str1ngs: I see /dev/sda is the whole disk indeed
<grillon>it's not a big deal, I have just seen that when I have a usb key that could change, so I have to be careful when I do a reconfigure
<grillon>gnutec: it's not really EFI, it's seabios. I don't know details...Is it a seabios launch by EFI or a real seabios. I have to verify. there are a chromebook page first telling me I'm in developper mode. Then I choose to boot on device with ctrl + L and it start seabios
<str1ngs>grillon: it's not ideal if the block device changes I agree. EFI is better in this regards if you have the option
<grillon>then seabios detect devices and I select my USB key with grub and grub boot guixSD :)
<alextee[m]>when you import an exported archive, does it also install its dependencies?
<alextee[m]>also, what's this? guix archive: error: getting status of `/etc/guix/signing-key.sec': No such file or directory
<alextee[m]>im trying to basically create a binary installer to sell
<alextee[m]>so i would export without the -r (to avoid humongous file size), and when installing i would first need to authorize my public key and then install the dependencies and then guix archive --import right?
<navik>hm, it smells misconception here on my part; I issue the command available in the docs for creating a USB boot ISO, but get the message "guix system: error: failed to load 'test.scm': No such file or directory
<navik>even though test.scm is in the working directory
<navik>`guix system disk-image --file-system-type=iso9660 test.scm`
<nckx>mehlon: I'm not familiar with Cachix, but it sounds like Nix's answer to ‘guix publish’, which many people use to run their own substitute server. However, we don't offer hosting peeps' random substitutes as a service (HPRSaaS) like Cachix seems to do.
<stikonas>mehlon: it's not really that different... You still clone repo, make a commit, only instead of going to web browser and clicking a button, you run git send-email. And then you can reply to your email thread, instead of reply in a webbrowser (although, you can also reply via email on github)
<mehlon>in the guix on android article it explains the partitioning of the disk
<mehlon>boot partition, recovery, data (apps!), system (OS), vendor pre-installed stuff, etc
<mehlon>data is where you put your apps, and these apps do not pollute /bin or /sbin or /usr/bin or any of that stuff
<nckx>I read that, but it's a bit sparse on details (as well it should be — that's not its focus). I understand the notion of a volatile+read-only (union?) /, just not why you can't ‘ln -s /storage/gnu /gnu’ at startup, so to speak.
<d10n-work>I haven't looked at fixing this problem yet but in case anyone thinks the problem is interesting I'll describe it here:
<d10n-work>I have guix installed on CentOS 7, and my terminal of choice is Terminator, installed from Guix. I want to use the AWS SAM tool, which their docs suggest to install from Linuxbrew. When I try to run sam commands, I get "Fatal Python error: initsite: Failed to import the site module".
<d10n-work>It turns out that the guix terminator wrappers export python environment variables including PYTHONPATH. This is inherited by zsh and then sam. When unsetting PYTHONPATH in zsh, sam works as expected.
<d10n-work>I see my problem is so boring that it has already started to destroy this community (joke)
<nckx>d10n-work: TBH I don't know half the words in your description (who is Sam and what's he brewing) but: is the problem that Guix's terminator (re)sets PYTHONPATH when it should just append to it? Or would that not solve your problem?
<d10n-work>nckx: I think the best solution might be if the terminator wrapper were to instead be a Python program that just internally sets sys.path instead of exporting an environment variable that gets leaked to all child processes