<dstolfa>ixmpp: i think there are incremental improvements that need to happen first, for example being able to do `guix import buildsystem /path/to/top/makefile` to translate the whole buildsystem of say, linux (in makefiles) to an EDSL in guile
<dstolfa>so all builds could be described with an EDSL
<ixmpp>As i say, maybe so, guix is much more malleable than nix, but also moves slower and has less mass. Nix has the issue that it has stagnated, horribly, and cannot ever fix that without *drastic* change that their beaurocracy will not allow
<Noisytoot>Having nonfree software and using GitHub is a reason to avoid Nix
<drakonis>proselytising to people who're interested in getting into guix in here is a turn off
<nckx>There are people who feel ‘preached at’ when you mention something's 100% free. Happened to me.
<ixmpp>Honestly, and im not sure if it's breaking the rules to say this, but i sorta planned to see if i could make a large-ish repo to make guix accessible to those not so prudish about nonfree stuff and make things easy
<drakonis>there are a variety of reasons to avoid nix
<Noisytoot>ixmpp, I don't think that's breaking the rules, but linking to it probably is
<drakonis>the rules are to not recommend it if i'm not wrong
<nckx>Rules aside, calling people prudish just isn't very nice.
<ixmpp>nckx: I dont care if somethings free, thats good. What i care about is Noisytoot pinging me over and over to let me know that the nix community might not spend every waking breath banging the freedom drum
<dstolfa>i personally like that guix by default doesn't recommend any non-free software because i personally don't want to run any non-free software. that doesn't mean you yourself shouldn't be able to do so on your computer. i'm sure most people are aware of what the ramifications of non-free software are and they are free to make their own decision
<nckx>Now Guix is CPU-bound as the lords intended.
<dstolfa>Noisytoot: currently i just use gmx.com. i'll host my own at some point when i'm not a student and can afford to pay for a few servers monthly to act as frontends that i pull from to my local storage :)
<dstolfa>i can get behind freedom-respecting lamps given how many IoT devices want to just send literally everything you do to a server (though, i would just call them regular lamps, not freedom-respecting lamps)
<dstolfa>nckx: having written an unhealthy amount of both, i'd say that if you prefer more of a "pure mathematical approach with more automation" go for HOL, but if you prefer more programming-oriented view go for Coq
<oriansj>last edit date of my .emacs was Dec 7th to disable Another freaking keymap for insert
<nckx>hrnz: Greylisting is something else, and I mentioned above that's probably not it.
<nckx>We can't say for sure without logs of course.
<nckx>It possible to have redundant clusters of incoming mail servers which each maintain their own greylists, so depending on which on randomly accepts your mail you might wait eight times or only one, but I don't think gnu.org does that.
<raghavgururajan>sneek, later tell nckx: I tried  `btrfs check --repair`  `btrfs scrub`  `guix gc --verify=contents,repair`. But I still get the "/home/rg/.guix-profile/bin/chromium: error while loading shared libraries: /gnu/store/6yn16h7la1cj64gm5gvklhijcd4k1zgb-cups-2.3.3/lib/libcups.so.2: file too short". Thoughts?
<tissevert>so my next question was going to be if you people activated readline manually each time or if there was a user config file or something but I think I know the answer already: «no we just use emacs» ; )
<rndd>could anyone tell me how to use gccgo in guix? i've installed gcc-toolchain and gccgo but cannot build .go files
<apteryx_>I'm rather confused by the crate-build-system. I'm trying to have .rlib installed and reused. So far I've managed to have them installed; but I'm confused about how inputs are treated. It seems adding a rust-* package as a regular input field somehow gets seen as a /gnu/store/...-rust-$name-$version.crate on the builder side
<tissevert>I thought I saw someone mention using neovim here, was that in a terminal or using one of the available graphical frontend ? I haven't found any in guix search and I was wondering if there were (even unofficial) guix packages around
<tissevert>yeah I use gvim from vim-full already but today is one of those days when I find mysterious things in my config and it reminds of people who mentioned neovim as clearer and I considered giving it a try
<tissevert>and well I like a GUI : ) so I was surprised there wasn't any yet for neovim and wanted to know if someone had worked or started working on such a thing
<ixmpp>Hey, again guys, when i `guix system reconfigure`, my grub.cfg assumes the store is at /gnustore/, which it isnt and hasnt been since the first generation. How do i fix that? I have to manually go in and replace it every time for now
<ixmpp>`doas guix system reconfigure /boot/config.scm && doas sed -i 's#gnustore#gnu/store#g' /boot/grub/grub.cfg` lol
<mschilli>OK, this is strange: I undid the change to PATH and tried with (invoke "bash" "run_tut.sh") and it *works*. How is that possible? I double checked: removing "bash" is enough to cause the 127 (without error message).
<mschilli>So my take is `invoke` fails to recognize the shebang and that's causing the 127. Maybe because run_tut.sh was patched by patch-shebang but install did not run yet?
<mschilli>I feel uncomfortable pushing a package that works but where I don't understand how/why? ;-)
<rekado>mschilli: I don’t know why invoke doesn’t do the expected thing with the shebang.
<rekado>with “bash” it obviously works because you’re leaving all the work to the shell
<mschilli>but how does it find the scripts if they are not on PATH?
<sneek>nckx, raghavgururajan says: I tried  `btrfs check --repair`  `btrfs scrub`  `guix gc --verify=contents,repair`. But I still get the "/home/rg/.guix-profile/bin/chromium: error while loading shared libraries: /gnu/store/6yn16h7la1cj64gm5gvklhijcd4k1zgb-cups-2.3.3/lib/libcups.so.2: file too short". Thoughts?
<nckx>raghavgururajan: Btrfs won't help you here, the files contain bogus data but are valid as far as it's concerned. What does guix gc --verify=contents,repair actually print? It can only restore damaged files from substitute servers that have a copy. If that's not possible, try to delete each store item like you deleted that empty file a few days ago: delete all GC roots to it until ‘guix gc -D /gnu/store/<each damaged item>’ succeeds.
<Guest98>hey guys! I'm trying to use guix with haskell (guix environment --ad-hoc ghc) and its taking a long time building a bunch of stuff, I kind of expected it to just pull the relevant binaries not build stuff. Any suggestions?
<rndd>am i need to check this services availability?
<Guest98>dstolfa: found this in the manual The end result is a new guix command, under ~/.config/guix/current/bin. Unless you’re on Guix System, the first time you run guix pull, be sure to follow the hint that the command prints and, similar to what we saw above, paste these two lines in your terminal and .bash_profile:
<lfam>dstolfa: When doing operations on the profile containing X, you'll get a message "guix package: warning: package 'X' no longer exists"
<lfam>I think Guix will leave that part of the profile alone
<nckx>dstolfa: It'll be missing from newer pulled Guixes so you can't update or reinstall it. You'll have to remove it from your manifest to be able to ‘guix package -m’ (or ‘guix system reconfigure’ if it's a system package) but the old binary can stay in your ‘guix install’ profile for as long as you like. And you can always bring it back with an inferior or a local copy.
<lfam>The imperative method `guix package -u .` will keep working
<Noisytoot>I am updating lmdbxx, who's only dependent is nheko, the Git repo used in the package definition is no longer maintained, but there is a fork that is required to build the latest nheko, should I update the homepage to the Git repo of the fork (that does not seem to have a proper homepage)?
<lfam>Eventually your profile's disk usage will double, as the dependency graph moves on