You are here

IRC logs for #guix, 2017-01-24 (GMT)

[00:03:42]* kablaam has joined #guix
[00:05:27]* snape has quit (Remote host closed the connection)
[00:19:57]* davidl has quit (Quit: WeeChat 1.6)
[00:21:23]* magnicida has quit (Ping timeout: 255 seconds)
[00:46:30]* adfeno has quit (Quit: Dormindo... Zzz...)
[00:50:05]* kablaam has quit (Remote host closed the connection)
[00:52:24]* kablaam has joined #guix
[00:54:24]<mekeor>in the `Networking Services' section of the guix manual, network-manager-service is listed but it doesn't exist (in the code)
[00:55:08]<mekeor>there is network-manager-service-type but there is no network-manager-service
[01:05:26]* mekeor has quit (Ping timeout: 276 seconds)
[01:09:49]* Valheru has quit (Remote host closed the connection)
[01:16:30]* kablaam has quit (Ping timeout: 245 seconds)
[01:24:16]* mekeor has joined #guix
[01:25:50]* dadinn has quit (Ping timeout: 240 seconds)
[01:30:24]* myglc2 has joined #guix
[01:31:43]* arescorpio has joined #guix
[01:35:24]<myglc2>Hi Guix! Anyone know where the doc is for allowable kernel-arguments?
[01:38:35]* arescorpio has quit (Ping timeout: 276 seconds)
[01:41:47]* emyles has quit (Ping timeout: 252 seconds)
[01:42:29]<kyamashita>myglc2: This is a good start:
[01:42:58]<kyamashita>I reckon anything the Linux kernel accepts is valid for Guix's Linux-libre kernel.
[01:43:02]<myglc2>kyamashita: Super! thank you.
[01:43:14]<kyamashita>You're welcome. :)
[01:45:10]* happy_gnu has joined #guix
[01:47:26]<myglc2>going off to play with the kernel ... ;=)
[01:47:39]* myglc2 has quit (Remote host closed the connection)
[01:49:03]* kyamashita has quit (Quit: Switching machines...)
[01:49:30]* kyamashita has joined #guix
[01:53:04]<happy_gnu>wanna see a windos 10 user going crazy
[01:54:10]* daviid has quit (Ping timeout: 240 seconds)
[02:01:58]* mbuf has joined #guix
[02:03:17]* mekeor has quit (Ping timeout: 276 seconds)
[02:04:13]<buenouanq>happy_gnu: they're using windows, they're already crazy
[02:04:28]<happy_gnu>buenouanq: fair enough
[02:04:37]<happy_gnu>still the video us really funny
[02:08:00]<buenouanq>I just don't get even though that same thing is happening all over every single day to so many people why there aren't more people tuning in to the wonderful world of free software.
[02:09:31]<happy_gnu>buenouanq: people is afraid of change
[02:10:02]<happy_gnu>and people hate to learn
[02:20:52]<lfam>It's very hard to change your habits, especially when they relate to tools you rely on
[02:30:11]<buenouanq>but why then can someone like me upon learning about free software see that is it so obviously the only way to be and start moving over?
[02:32:39]* rekado_ has quit (Ping timeout: 248 seconds)
[02:33:18]* rekado has joined #guix
[02:38:37]<kyamashita>I found the problem with packaging Free Pascal. Everything compiles statically, and I don't know how to fix it. :(
[02:40:40]<buenouanq>`Wrong type argument in position 1 (expecting struct): "grub-efi"'
[02:40:45]<buenouanq>what did I do wrong?
[02:41:08]<buenouanq>should it not be in quotes?
[02:46:18]<buenouanq>`grub (default: grub) The GRUB package to use.'
[02:46:39]<buenouanq>I'm unsure how I'm supposed to change this to grub-efi.
[02:46:58]<buenouanq>I did (grub "grub-efi") in the config, but that was obviously wrong.
[02:49:21]<kyamashita>buenouanq: I don't think it needs quotes. Just checked out the documentation. I guess if the packages in (packages* ...) don't need quotes, neither should this.
[02:49:47]<buenouanq>throws an unbound variable then
[02:49:50]<kyamashita>ACTION apologizes for the possible gross violations on English grammar
[02:50:33]<buenouanq>that was perfect english actually
[02:50:58]<kyamashita>Have you included the grub package module, i.e. (use-package-modules ... grub ...)?
[02:51:12]<buenouanq>ah, no I have not
[02:51:13]<kyamashita>I guess I don't speak enough to know. :P
[02:52:19]<buenouanq>I seriously never would have guess you were not a native speaker - Have more confidence.
[02:52:47]<kyamashita>LOL, I am a native speaker. X-D
[02:53:01]<buenouanq>wait what
[02:53:06]<buenouanq>then why would you
[02:53:48]<kyamashita>The inverse of the Dunning-Kruger effect.
[02:54:18]<buenouanq>well, now I've started it building again - Does it really have to compile everything all over?
[02:54:59]* davidl has joined #guix
[02:55:36]<kyamashita>That's the current procedure. I'm not sure if restarting the process mid-procedure is theoretically possible or not.
[03:04:38]* ArneBab has joined #guix
[03:04:38]* ArneBab has quit (Changing host)
[03:04:38]* ArneBab has joined #guix
[03:09:02]* ArneBab_ has quit (Ping timeout: 255 seconds)
[03:17:47]* arescorpio has joined #guix
[03:33:52]<lfam>It makes me happy when I read the security advisories from the big distros and find that we have already patched against most of them
[03:39:35]<kyamashita>Yes, that makes me feel good about using my GuixSD machine. :-)
[03:44:11]* mbuf has quit (Quit: Leaving)
[03:50:38]<lfam>ACTION builds the icedtea@1 update
[03:57:57]* defanor has quit (Quit: .)
[03:58:04]* defanor has joined #guix
[04:05:40]<buenouanq>grub-install: error: /gnu/store/.../ doesn't exist. Please specify --target or --directory.
[04:33:57]<efraim>sneek: later tell civodul on mips tar takes 70 minutes, and 90 on armhf, I'll try extending the Timeout. I assume those machines arent running from an sd card
[04:33:58]<sneek>Will do.
[04:34:05]<efraim>sneek: botsnack
[04:39:30]* psachin has joined #guix
[04:40:08]* davidl has quit (Quit: WeeChat 1.6)
[05:13:43]* arescorpio has quit (Excess Flood)
[05:50:08]* mbuf has joined #guix
[06:09:57]* Nyxus has joined #guix
[06:14:08]* jmd has joined #guix
[06:18:11]* jmd has quit (Remote host closed the connection)
[06:20:21]* jmd has joined #guix
[06:20:46]* jmd has quit (Remote host closed the connection)
[06:21:25]* jmd has joined #guix
[06:21:40]* jmd has quit (Remote host closed the connection)
[06:21:50]* janneke has quit (Ping timeout: 255 seconds)
[06:25:01]* hoijui has joined #guix
[06:28:19]* Helius has joined #guix
[06:46:34]* mbuf has quit (Ping timeout: 264 seconds)
[06:46:34]* iyzsong-w has joined #guix
[06:48:52]<efraim>(properties '((timeout . 72000))) and `guix build foo --timeout=72000' don't do the same thing, needs to be `guix build foo --max-silent-time=72000'
[06:49:49]<lfam>That sounds like an annoying thing to discover :/
[06:53:54]* efraim has quit (Remote host closed the connection)
[06:54:09]* efraim has joined #guix
[06:58:05]* hoijui has quit (Quit: Leaving)
[07:05:38]* janneke has joined #guix
[07:09:56]* mbuf has joined #guix
[07:10:58]* Helius has quit (Quit: Helius)
[07:24:14]* Mathieu has joined #guix
[07:32:55]* TwoFinger has joined #guix
[07:33:16]* Helius has joined #guix
[07:40:26]* Mathieu has quit (Read error: Connection reset by peer)
[07:45:00]* Nyxus has quit (Ping timeout: 256 seconds)
[07:47:36]* igajsin has joined #guix
[08:01:30]<efraim>turns out tar needed about 65 minutes of silence instead of 60 for that test to pass, not sure that's really worth writing a patch
[08:01:49]* mbuf has quit (Read error: Connection reset by peer)
[08:04:03]<cbaines>sneek, later tell mekeor if you want to use the network-manager service, you write something like this (service network-manager-service-type (network-manager-configuration))
[08:04:04]<sneek>Will do.
[08:06:56]* Helius has quit (Ping timeout: 255 seconds)
[08:15:01]* davezd has joined #guix
[08:22:29]* mbuf has joined #guix
[08:24:35]* civodul has joined #guix
[08:25:13]<civodul>Hello Guix!
[08:25:14]<sneek>Welcome back civodul, you have 1 message.
[08:25:14]<sneek>civodul, efraim says: on mips tar takes 70 minutes, and 90 on armhf, I'll try extending the Timeout. I assume those machines arent running from an sd card
[08:25:45]<efraim>took about 65 minutes in the end
[08:30:12]<civodul>the test suite?
[08:31:02]<efraim>it took ~72 minutes to build tar, xz and hello, and about 7 when i disabled the test suite on tar
[08:31:32]<efraim>it kept on timing out on the one test, so that's where the majority of the time was spent
[08:31:44]<civodul>i don't remember that it took so long
[08:32:42]<efraim>i think on hydra on x86_64 the whole thing was 10 minutes
[08:34:09]* snape has joined #guix
[08:37:34]<rekado>kyamashita: how do you build Free Pascal without relying on their pre-built Pascal compiler?
[08:38:20]<efraim>lfam: on your khal commit you wrote "add it" for dist_patch_DATA for removing the patch ;)
[08:43:01]<efraim>is there a maximum size for mail to the mailinglists? I want to send in my patches for aarch64 but the bootstrap one is 2.4 Mb
[08:43:51]<civodul>efraim: for the big one, it's probably better to upload it somewhere
[08:43:55]<civodul>it's just binaries, right?
[08:45:11]* lfam has quit (Ping timeout: 255 seconds)
[08:48:03]<efraim>the bootstrap binaries are the big part of it, I can make a fake version that replaces them with a text file pointing to the static tar/xz/bash/guile
[08:48:29]<civodul>can be cross-build those bootstrap binaries from current core-updates?
[08:48:39]<efraim>er, tar/xz/bash/mkdir
[08:48:54]<efraim>probably, I haven't tried recently
[08:49:33]<civodul>when we add the binaries, it'd be great to write in the commit log that they were built from commit XYZ
[08:49:34]<efraim>i'll have to check which version of grep we have, the egrep/fgrep problem was fixed iirc
[08:50:52]<efraim>... which makes me feel special that I updated grep to 2.26 and then to 2.27 and didn't check the extra phase
[08:52:42]<efraim>i'll go ahead and rebuild the bootstrap binaries, and while i'm at it i'll see if make test passes on aarch64
[08:54:14]* zacts has quit (Quit: WeeChat 1.7)
[08:54:28]<efraim>gcc has lib and lib64 in the search path, so I assume I don't need to force aarch64 to use lib, right?
[08:54:29]<civodul>and we should add the aarch64 target for Hydra, like we did for PPC and GNU/Hurd
[08:54:48]<civodul>efraim: few packages install to lib64/
[08:54:54]<civodul>and really, none of them should IMO
[08:55:19]<efraim>ok, so i'll leave my "force /lib" patch in for now
[08:58:12]<efraim>as expected perl built fine, now i'm building to python and python-2
[08:59:23]<braunr>what are the maint targets of guix ? i see you talking a lot about aarch64
[09:00:15]<efraim>guixsd works on i686 and x64, guix also runs on armhf and mips64el, and i'm working on getting it running on aarch64
[09:01:21]<braunr>i see
[09:01:32]<efraim>wow systemd bug, creating files in /run/systemd/show-status with 07777
[09:06:15]<buenouanq>expect nothing less
[09:07:43]<civodul>braunr: there's also WIP for ppc32 and GNU/Hurd :-)
[09:08:04]<civodul>there's a high demand for these ;-)
[09:10:47]<braunr>i'm sure :)
[09:15:52]<pareidolia>Guix is quite verbose
[09:18:24]<civodul>pareidolia: yeah there's an open bug on this topic:
[09:18:42]<civodul>i'd like to close it ASAP but "it's complicated"
[09:20:47]* zacts has joined #guix
[09:22:07]<efraim>just checked grep on core-updates, its correct. my original bootstrap-tarballs were after the 2.25 update but before the egrep/fgrep fix
[09:29:49]* mbuf has quit (Ping timeout: 240 seconds)
[09:34:12]* magnicida has joined #guix
[09:38:29]* magnicida has quit (Client Quit)
[09:38:38]* iyzsong-w has quit (Quit: ZNC 1.6.4 -
[09:38:48]* magnicida has joined #guix
[09:43:43]* jonsger has joined #guix
[09:51:21]<cbaines>Does anyone know of any packages that spin up a database server to use as part of the builds?
[09:51:37]<cbaines>e.g. to use when running the test suite
[09:54:10]<civodul>hmm no
[09:54:29]<civodul>presumably mysql and postgresql themselves do that
[09:55:10]<cbaines>I've been thinking about how this could be done, do you think the services in Guix could be used?
[09:55:52]<cbaines>So that you can add services to a package, and they will be started up at the beginning of the build process, and shutdown at the end
[09:55:52]<civodul>no, within the package recipe you'd have to simply start mysqld or whatever
[09:56:14]<civodul>several packages start Xvfb to test their graphical stuff, for instance
[09:56:29]<civodul>that would be similar
[09:56:39]<civodul>and the daemon takes care of terminating those processes at the end
[09:56:42]<cbaines>It would be quite a nice interface if you could just use the existing service definitions
[09:57:09]<civodul>yeah, that's right
[09:57:56]<cbaines>I also want to try and write some packages that perform transformations on database dumps at some point
[09:58:18]<cbaines>and having the framework to spin up and shut down databases as part of the package builder would be most of the work
[09:59:01]<civodul>maybe what you need is the ability to run things in a one-off GuixSD instance?
[09:59:29]* mbuf has joined #guix
[10:00:05]<cbaines>I'm mostly thinking in terms of packages here, as its a good way of taking some inputs, and getting an output
[10:00:37]<cbaines>Am I correct in guessing that the system tests for Guix are run as a derivation?
[10:00:49]<civodul>right, everything is a derivation
[10:01:03]<civodul>a derivation is what you say: a process that takes inputs and produces outputs
[10:01:14]<civodul>packages are higher-level
[10:01:45]* adfeno has joined #guix
[10:02:40]* igajsin has quit (Ping timeout: 240 seconds)
[10:12:15]<efraim> from python3 fails on aarch64
[10:36:31]* iyzsong has joined #guix
[10:39:26]* mekeor has joined #guix
[11:05:34]* ShalokShalom_ has joined #guix
[11:09:00]* ShalokShalom has quit (Ping timeout: 256 seconds)
[11:13:35]<divansantana>Quick Q. During guixsd install, I'm having issues with grub and filesystem configs. I want to boot up the install iso, change my config.scm and reconfigure system. How do I do this without redownloading everything?
[11:14:22]<divansantana>If I mount all etc then run guix system init /mnt/etc/config.scm it redownloads all. When in fact all I changed is something in the filesystems declaration
[11:16:10]* mekeor has quit (Ping timeout: 240 seconds)
[11:21:23]* Piece_Maker has joined #guix
[11:23:03]* emyles has joined #guix
[11:24:18]* Acou_Bass has quit (Ping timeout: 256 seconds)
[11:24:18]* Piece_Maker is now known as Acou_Bass
[11:26:58]* ShalokShalom_ is now known as ShalokShalom
[11:30:13]<divansantana>I would think the other option would be to boot an install image, chroot into /mnt , then my paths are not set though. How do I correct that?
[11:30:50]* rgrau has joined #guix
[11:31:44]<adfeno>... Do you have actual access to the installed system partition? (did you mount it successfully)?
[11:32:03]<divansantana>adfeno: yes
[11:32:19]<divansantana>adfeno: /mnt/gnu/store exists.
[11:32:57]<divansantana>how does one chroot in? I see there is no dev proc sys under /mnt should there be? normally one uses that to chroot
[11:34:19]<divansantana>I think the issue is /mnt/run is empty, so I can't chroot in and run guix system reconfigure, because /mnt/run/current-system/... doesnt exist
[11:40:08]* thomasd has joined #guix
[11:40:48]<adfeno>I faced a similar issue in first attempt
[11:41:09]<adfeno>I tried doing mount procedure but failled due to absense of these paths.
[11:41:37]<adfeno>Although I'm new to these advanced usages, so don't take my experience foregranted.
[12:06:04]* jonsger has quit (Ping timeout: 255 seconds)
[12:06:19]* mbuf has quit (Quit: Leaving)
[12:08:59]* jluttine has quit (Ping timeout: 245 seconds)
[12:12:28]* jlicht has joined #guix
[12:12:33]<jlicht>hello guix
[12:12:56]<adfeno>Hi jlicht :)
[12:13:33]<thomasd>hi jlicht, and also hello guix, by the way :)
[12:15:09]<adfeno>Reminder: does anyone know how to mount ab already installed GuixSD, assuming that one wants to start that copy to recover/redo something that went wrong? I and divansantana are puzzled with this challenge.
[12:17:25]<adfeno>It seems we're somewhat lost because we don't know how to populate some important paths that Guix expects to find.
[12:18:23]<adfeno>See logs of this channel for more details:
[12:19:16]<rekado>adfeno: you can bind mount directories to the chroot location.
[12:19:33]<adfeno>divansantana: ↑
[12:20:52]<adfeno>rekado: But, in the case of GuixSD, which ones need to be bound, and from where to where?
[12:22:58]* jluttine has joined #guix
[12:26:32]* ne0h|nihilist has joined #guix
[12:34:16]* davezd has quit (Quit: Leaving)
[12:34:57]<thomasd>Having broken my /boot (or at least grub) on an otherwise fine GuixSD installation, I'd like to know, too ;)
[12:37:48]<adfeno>Oh! So we are three. ;)
[12:37:54]<adfeno>Seeking enlightment :)
[12:40:10]<efraim>We have enlightenment! In enlightenment.scm ;)
[12:41:04]<jlicht> wow
[12:41:24]<efraim>I would guess following the install instructions in terms of mounting and cow store might get you part of the way there
[12:41:59]* snape has quit (Remote host closed the connection)
[12:42:40]* snape has joined #guix
[12:45:40]* TwoFinger has quit (Quit: Leaving)
[12:53:38]* kablaam has joined #guix
[13:06:40]<thomasd>efraim: that's what I'll try tonight, but I wonder if it will detect that the whole system is actually already in /mnt/gnu/store store.
[13:07:19]<thomasd>I thought that's where the bind mounts would come in (but have 0 experience)
[13:07:33]* ShalokShalom has quit (Read error: Connection reset by peer)
[13:07:36]* ShalokShalom_ has joined #guix
[13:09:29]* kablaam` has joined #guix
[13:11:58]* kablaam has quit (Ping timeout: 256 seconds)
[13:16:09]* alezost has joined #guix
[13:21:07]* dadinn has joined #guix
[13:42:01]* kablaam` has quit (Remote host closed the connection)
[13:43:34]* emyles has quit (Ping timeout: 240 seconds)
[13:48:20]* kablaam has joined #guix
[14:01:46]* avoine has joined #guix
[14:04:33]* MinceR has quit (Ping timeout: 264 seconds)
[14:06:02]* MinceR has joined #guix
[14:06:44]* jmi2k has joined #guix
[14:08:16]<civodul>davexunit: what about having 'guix environment -C' & co. populate ~/.cache/guix/containers, which would list the PIDs of running containers along with metadata such as the container's profile (where applicable)
[14:08:27]<civodul>that would make 'guix container exec' easier to use
[14:10:25]<davexunit>civodul: ooh
[14:10:27]<davexunit>that is a good idea
[14:10:30]<davexunit>I like that a lot
[14:11:39]<divansantana>doing the following in the chroot `/gnu/store/...system/bin/ln -s /gnu/store/...system /run/current-system` solves the path issue
[14:11:50]<divansantana>but then I hit another error.
[14:11:57]<divansantana>Which I don't have now. :)
[14:12:46]<adfeno>divansantana: Oh... That's awesome! :)
[14:12:54]<divansantana>another q. Howcome during the install, it seems to compile some packages? (I don't think it's compiling everything, just some.)
[14:13:02]<adfeno>divansantana: Do you care to document your progress overtime?
[14:13:35]<divansantana>adfeno: yeah, I'm typically quite good at documenting all etc. But for the last 3 months I've very spaz"
[14:13:49]<divansantana>lol (proofing my point too earlier)
[14:14:12]<divansantana>"spaz" typing, due to some rsi or carpal tunnel issues. So I'm typing less and without index fingers
[14:14:26]<divansantana>both are a bit screwy at mo. And my thumbs a bit too.
[14:14:39]<divansantana>/proofing/proving... err
[14:15:09]<divansantana>adfeno: ill drop it to the ML if/when I figure it out.
[14:15:18]<divansantana>not trying it at the mo tho
[14:17:30]<thomasd>divansantana: compiling some packages during install is not unusual,
[14:17:33]<jlicht>How should I approach the license field of a package if several files are gpl2, others gpl2+ and yet some other files "MIT" license. Should I list them all, including all respective files they apply to?
[14:18:41]<thomasd>it depends on whether substitutes for your package are available from hydra. Depending on whether your local guix is very recent or very old, substitutes might not yet be available, or not available anymore
[14:20:07]<jmi2k>jlicht: here you have an example:
[14:20:47]<jlicht>jmi2k: Ah, we just add a comment explaining which licenses apply where. Thanks, that was all I needed to know :-)
[14:21:03]<divansantana>thomasd: ah. ok.
[14:23:50]* resolute1 has joined #guix
[14:27:51]<efraim>After removing the win32 test both python3 and python2 build
[14:28:39]<efraim>After seeing if aarch64 also fails hard on gstreamer plugins I'll check out cmake
[14:29:31]<efraim>Hopefully nss wont take 60 hours
[14:32:25]* alezost has quit (Quit: I live in GuixSD <> and Emacs <>)
[14:32:59]* ng0 has joined #guix
[14:33:38]* jin has joined #guix
[14:48:38]* jlicht has left #guix ("ERC (IRC client for Emacs 25.1.1)")
[14:50:00]* psachin has quit (Ping timeout: 256 seconds)
[14:50:36]<civodul>is anyone with an arm(32) box able to test this: ?
[14:50:51]<civodul>this is a possible fix for <>
[14:54:29]* csanchezdll has left #guix ("Killed buffer")
[14:55:18]* GNUnymous_IRC has joined #guix
[14:55:58]<GNUnymous_IRC>Are GuixSD packages newest? I want distro with newest version of packages?
[14:56:08]<GNUnymous_IRC>I want free distro, of course.
[14:57:42]<adfeno>GNUnymous_IRC: Well, we try to update recipes when we can.
[14:58:07]<GNUnymous_IRC>Why some packages are outdated?
[14:58:27]<GNUnymous_IRC>For example, ManaPlus client must be updated otherwise it cannot be used to play.
[14:58:47]<GNUnymous_IRC>I meant play on many servers.
[14:59:13]* GNUnymous_IRC has quit (Read error: Connection reset by peer)
[14:59:29]<ng0>you can contribute to updating :)
[15:02:47]<civodul>TLDR: "Nix and Guix are as imperative as Debian"
[15:02:50]* GNUnymous_IRC has joined #guix
[15:04:06]<GNUnymous_IRC>Why some packages are outdated?
[15:04:14]<GNUnymous_IRC>For example, ManaPlus client must be updated otherwise it cannot be used to play on many servers.
[15:04:53]* GNUnymous_IRC has quit (Read error: Connection reset by peer)
[15:05:50]* GNUnymous_IRC has joined #guix
[15:06:21]<GNUnymous_IRC>Why some packages are outdated?
[15:06:23]<GNUnymous_IRC>For example, ManaPlus client must be updated otherwise it cannot be used to play on many servers.
[15:06:29]<civodul>GNUnymous_IRC: please stop repeating
[15:06:40]<civodul>it's a volunteer community where anyone, you included, can help update packages
[15:06:42]<GNUnymous_IRC>Are you received messages?
[15:08:07]<GNUnymous_IRC>Can I check is *something* GNU package using Guix?
[15:08:58]<adfeno>GNUnymous_IRC: If you want to, we can update the package, but please give us sometimes.
[15:09:46]<GNUnymous_IRC>This version is almost useless I think.
[15:10:02]<GNUnymous_IRC>It is 1.6 but they are already updated it to 1.7.
[15:10:43]<thomasd>about the reproducible-builds discussion: The word "pure" has a normative ring which is probably not helping :)
[15:10:43]* GNUnymous_IRC has quit (Read error: Connection reset by peer)
[15:10:44]* ShalokShalom_ has quit (Read error: Connection reset by peer)
[15:11:46]* GNUnymous_IRC has joined #guix
[15:12:23]* ShalokShalom has joined #guix
[15:16:55]<civodul>thomasd: i agree, and i rarely use it for that reason :-)
[15:17:26]<civodul>my message which was considered "propaganda" is here:
[15:18:23]<nliadm>I still don't understand why people want to make a special kind of equality to talk about compiler outputs
[15:18:30]<civodul>oh i did use "pure", but in a math sense
[15:18:41]<civodul>yeah, not sure
[15:19:52]<bavier`>doesn't read much like propaganda to me; more just a "hey since we're talking about this, just thought I'd mention since not everyone might know"
[15:20:24]<thomasd>I thought the rant was more of a reaction to John Gilmore's message.
[15:22:35]<GNUnymous_IRC>Can I use older package version package?
[15:23:02]<GNUnymous_IRC>I cannot use SuperTuxKart 0.9.2 without bugs with textures bug 0.8.1 is working fine.
[15:24:04]<thomasd>GNunymous_IRC: Guix as-is provides only a single version, but can create a package for an old version yourself quite easily.
[15:24:49]<bavier`>GNUnymous_IRC: you can try building/installing using '--with-source=...' option pointing to the 0.8.1 source tarball
[15:25:12]<thomasd>oh, didn't even know that :0)
[15:26:19]<GNUnymous_IRC>Can Guix compile source code?
[15:26:37]* iyzsong has quit (Quit: bye)
[15:27:27]* GNUnymous_IRC has quit (Read error: Connection reset by peer)
[15:30:01]<rekado>civodul: after reading that email I scratched my head, paused for a minute, then shrugged.
[15:30:52]<rekado>civodul: I also find the overreaction (rewrite compilers in pure languages...) to be ... revealing.
[15:32:51]<nckx>So I was having a pretty good day until I clicked on that thread. :-(
[15:33:17]<davexunit>civodul: wow just read that message you linked.
[15:33:33]<nckx>Thanks for linking to it.
[15:33:49]<davexunit>this is the same argument made by people all the time that don't understand functional programming
[15:34:10]<davexunit>that it's the model, not the implementation, that makes something functional or not
[15:34:37]<davexunit>at the end of the day we're mutating program counters and registers, so I guess nothing is functional!
[15:34:51]<davexunit>does anyone know what the formal name for this fallacy is?
[15:34:53]* GNUnymous_IRC has joined #guix
[15:35:12]<davexunit>the same thing happens when people try to put down free software
[15:35:15]<civodul>the world is not functional
[15:35:16]<GNUnymous_IRC>Can Guix compile source code?
[15:35:19]<davexunit>by saying that nothing is *truly* free
[15:35:20]<civodul>it's even dysfunctional at times!
[15:35:54]<rekado>GNUnymous_IRC: I don't know what the question means. Guix includes compilers.
[15:36:07]<davexunit>you can see "I run a free OS" and they will retort "yeah but to use the internet you have to interact with proprietary switches, etc."
[15:36:11]<clacke[m]>I just came back from a meetup where I presented Nix and Guix and I said just that. It was a functional programming group, so I said we all know this is all lies, we just need to choose at what level and to what degree we try to make them true. :-)
[15:36:12]<GNUnymous_IRC>Can Guix compile package from source code?
[15:36:29]<nckx>GNUnymous_IRC: stop it please.
[15:36:29]<davexunit>GNUnymous_IRC: yes
[15:36:36]<civodul>clacke[m]: indeed :-)
[15:36:43]* jonsger has joined #guix
[15:36:45]<clacke[m]>And then I pick up my phone and see this link :-)
[15:37:17]<davexunit>so yeah, I'm seeing this general fallacy where someone keeps taking things down an abstraction level until they can make their point
[15:37:39]<davexunit>it's "moving the goalposts" I guess.
[15:38:15]<davexunit>a: "I run a free OS" b: "why even bother unless you have completely free hardware that you made yourself" a: "uhhh"
[15:38:25]<nckx>davexunit: or a variant of the ‘no true Scotsman’, though neither sound 100% right.
[15:38:40]<davexunit>surely there's a precise name!
[15:39:01]<rekado>BTW similar objections are made when talking about a vegetarian diet.
[15:39:12]<rekado>"you know, plants are also alive!"
[15:39:13]* GNUnymous_IRC has quit (Read error: Connection reset by peer)
[15:40:09]* GNUnymous_IRC has joined #guix
[15:40:19]<davexunit>rekado: another good example
[15:40:20]<bavier`>"plants can feel! they cry when you harvest them!"
[15:40:58]<thomasd>actually, there are communities which avoid many plants for similar reasons, e.g. Jain :)
[15:41:04]<davexunit>reality isn't perfect, therefore you are wrong
[15:42:54]* GNUnymous_IRC has quit (Read error: Connection reset by peer)
[15:43:29]<pareidolia>davexunit: I guess reductionism
[15:43:43]<rekado>maybe it really is just a strawman; the goal is misrepresented as its most extreme version and then argued against using practical limitations.
[15:43:50]<nckx>By that logic, isn't running advanced AI research also unethical?
[15:43:57]<pareidolia>davexunit: My father likes to say "money rules in the end" when it comes to politics for example
[15:44:13]* GNUnymous_IRC has joined #guix
[15:44:54]<davexunit>yeah, reductionism or straw man sound like good fits
[15:45:20]<pareidolia>rekado: Vegetarian?
[15:45:59]* GNUnymous_IRC has quit (Read error: Connection reset by peer)
[15:46:17]<pareidolia>Someone is having trouble staying connected from Ukraine
[15:46:51]<davexunit>can't tell if trolling or bad connection
[15:47:14]<pareidolia>How can I patch KDE2 on FreeBSD?
[15:47:22]* GNUnymous_IRC has joined #guix
[15:47:29]* thomasd has quit (Ping timeout: 276 seconds)
[15:47:59]* GNUnymous_IRC has quit (Read error: Connection reset by peer)
[15:49:28]<pareidolia>In general these discussions can be evaded by fixing clear practical goals, such as: 1) I want to avoid requiring dead mammals for nourishment. 2) I want to control which programs I run, and change them, easily and at-will.
[15:51:42]<pareidolia>Chromium gives me headaches, since changing it requires a huge checkout and long compilation times.
[15:52:18]<pareidolia>Is there a specific reason why neither Firefox nor Chromium are in the packages?
[15:53:12]<rekado>pareidolia: yes, I don't eat animals.
[15:53:27]<rekado>pareidolia: Firefox is available as icecat.
[15:53:28]<davexunit>but mushrooms, watch your back.
[15:53:37]<pareidolia>rekado: Salaton, samideano
[15:54:19]<adfeno>Aw... these "moving the goals post" argumentations are a pain in the neck for me
[15:54:49]<rekado>pareidolia: (but I don't speak Esperanto :))
[15:54:56]<adfeno>I see this quite frequently with some people from Brazil who call themselves "free/libre software activists."
[15:55:03]<civodul>rekado: yet! ;-)
[15:55:26]<adfeno>... and yet, they recommend/share/sell/install/teach-usage of non-free distros. :(
[15:55:35]<rekado>civodul: maybe!
[15:55:58]<pareidolia>And the uncertainty wrt. to whether someone is being deliberately disingenous (for e.g. political reasons) or simply incapable/untrained in precise thought
[15:56:01]<rekado>pareidolia: chromium bundles a lot of things IIRC, so packaging it properly is hard.
[15:56:34]* jonsger has quit (Ping timeout: 276 seconds)
[15:56:45]<CcxWrk>ACTION avoids eating organisms with centralized nervous system
[15:57:34]<pareidolia>rekado: The Gentoo ebuild is 630 lines long :'(
[16:00:27]<adfeno>cBesides Chromium has that freedomissue
[16:02:00]* kablaam has quit (Ping timeout: 240 seconds)
[16:02:06]<adfeno>Although It's not much as it used to be a year ago. Still, it's better to package Iridium instead.
[16:02:06]<ng0>pareidolia: that's not even all of it. the ebuild needs the eclass, and the patches
[16:03:00]<ng0>ACTION is currently balancing packaging palemoon, torbrowser, qupzilla
[16:03:07]<ng0>funtimes with browsers x.x
[16:03:58]<CcxWrk>Do you want start packaging Servo too? :]
[16:04:28]<ng0>I would appreciate anyone who wants to take on what I am currently doing
[16:04:34]<ng0>with notice of course :D
[16:04:53]<ng0>for qupzilla, qtwebkit is the major thing
[16:04:54]<pareidolia>adfeno: Other than the hotword debacle?
[16:06:54]<adfeno>Speaking of QTWebEngine, it seems to be dependent on Chromium. See the folling discussions to know what's wron with Chromium and QTWebEngine:
[16:06:56]* Intensity has quit (Changing host)
[16:06:56]* Intensity has joined #guix
[16:07:56]<ng0>qtwebengine is parts of chromium for qt
[16:08:05]<ng0>it's a separate project
[16:08:25]<ng0>qupzilla is still okay. it's an engine, not a browser
[16:09:09]<adfeno>ng0: Indeed, QupZilla seems to be OK for me too.
[16:09:35]<adfeno>Also Iridium, as far as I 'm aware.
[16:09:41]<adfeno>... is OK
[16:10:18]<ng0>ok, thanks for the second link
[16:10:24]<ng0>i will look into that
[16:10:54]<adfeno>You're Welcome ;)
[16:11:06]<ng0>but browsers are a long process.. I'm doing the full build first time and once I get to the functional state I start to unbundle.
[16:11:37]* enderby has joined #guix
[16:13:46]* snape is now known as baley
[16:17:30]<pareidolia>Is there a sort of policy document wrt. specific packages? Say, I'd undertake the translation of the Chromium nixexprs, but they wouldn't be accepted because of blobs etc.
[16:18:32]<adfeno>I think there's a list in the LibrePlanet wiki
[16:19:25]<adfeno>I'll give the link
[16:19:27]<rekado>pareidolia: Guix follows the GNU FSDG.
[16:19:46]<rekado>pareidolia: packages that violate the FSDG cannot be accepted.
[16:20:54]<adfeno>And also this:
[16:21:58]<adfeno>It's also good idea to look up in the issue/bug trackers of other free/libre distros.
[16:22:29]* alezost has joined #guix
[16:23:44]<pareidolia>adfeno: I wish there was a Scheme version of that document
[16:24:16]<pareidolia>I see some software in the list where only older versions are problematic
[16:26:28]* janneke has quit (Ping timeout: 276 seconds)
[16:26:56]<pareidolia>It'd be nice to filter it