IRC channel logs

2017-06-12.log

back to list of logs

<civodul>oh!
<sneek>civodul, you have 1 message.
<sneek>civodul, rekado says: Yes, GPFS is an IBM thing, and it’s non-free. You have to purchase a license to be allowed to download a binary for RHEL.
<civodul>Hello Guix!
<catonano_on_mobi>Hi civodul !
<efraim>hi!
<efraim>I have to read more of Nix's bug report about their closure sizes, I wonder if we also had a separate output of "include" or "headers" that was just copied from "out" and used that sometimes in native-inputs if that would decrease the size
<efraim>hmm, looks like my commit message was wrong, aircrack-ng was compiling on armhf before
<efraim>It seems that my odroid is building WebKit again, as part of 'build random things and look for failures'
<civodul>efraim: honestly i'm skeptical about the "include" separation
<civodul>but we definitely should do better in terms of closure size
<civodul>i started moving glibc's *.a files to a separate output but didn't complete in time for core-updates
<civodul>but that's the kind of thing that makes a difference
***in0rdr_ is now known as in0rdr
<jamesrichardson>Hello Guix!
<jamesrichardson>I gave a talk yesterday at a local linux conference on functional package management with Guix. Seemed to be well received. More interest than I expected.
<jamesrichardson>The conference was Southeast LinuxFest in Charlotte, NC, US.
<efraim>civodul: I'll see if I can think of a package down the stack to test with, maybe ncurses, and I'll see how it looks on core-updates
<efraim>jamesrichardson: I'd love to see a recording of it if one was made
<civodul>jamesrichardson: nice!
<civodul>jamesrichardson: if you have a video/slides, we can put them on the site
<civodul>did you get interesting questions & feedback?
<efraim>civodul: just to clarify, we're looking at shrinking the size from 'guix size foo'?
<davexunit>jamesrichardson: that's great to hear!
<davexunit>when I used to talk about guix at places I too was surprised by the generally positive reaction
<efraim>interestingly, 'guix size newsbeuter' has curl-7.53.0-doc listed
<efraim>looks like curl references curl-doc
<davexunit>heh, so much for separate outputs
<civodul>efraim: yes
<civodul>efraim: and yes, curl:doc may well be a problem
<civodul>howdy davexunit!
<Buglouse>Am I able to directly modify initrd (guixsd), or is there a checksum verification? how am I able to only build initrd?
<Buglouse>Need to change a (file-system) definition.
<davexunit>hey civodul
<civodul>Buglouse: the initrd is built by 'guix system' as a function of the OS config
<civodul>see https://www.gnu.org/software/guix/manual/html_node/Initial-RAM-Disk.html
<Buglouse>cause I get 'EXT4-fs: Unrecognized mount option "noatime"' when /home is attempted to mount during boot. (options "data=writeback,noatime,nodiratime")
<civodul>i would suggest rolling back to the previous generation, and running 'guix system reconfigure' without the faulty option
<Buglouse>How to only run (gnu system linux-initrd), then?
<Buglouse>this is in a host guixsd, fresh guix init on another drive. does reconfigure work the same as init for path declaration?
<Buglouse>I'm not able to boot into the new system, list-gernerations uses host, but I'm interested in a mounted partition.
<civodul>Buglouse: do you have a previous generation that worked?
<civodul>(i guess you did?)
<Buglouse>no, error prevents mount, so I have not successfully booted into system after init
<Buglouse>is there any faq or troubleshooting notes for guicsd? I have really only seen the manual, looking for additional structured documentation
<civodul>the manual is the canonical place for documentation
<civodul>so i think the right way would be to boot again on the USB installation system, then rerun 'guix system init' without the faulty option
<civodul>not as convenient as one might like i guess
<jonsger>Buglouse: this is not official https://github.com/pjotrp/guix-notes but sometimes very good :)
<Buglouse>I don't want to wait the time for init when the change is a character deletion in the cpio image.
<civodul>yeah, i understand, that's kind of a worst case scenario :-/
<Buglouse>if I could use the mounted guix for system commands. have my env use the mounted guix as profile..
<Buglouse>use mounted store for guix system commands
<civodul>yeah i think currently 'guix system init' doesn't try to reuse what's already on the target file system
<civodul>if it did that would be fast in your case
<Buglouse>I'm going to extract initrd change the mount option and put initrd back, would be nice if this fails due to a mismatch error
<civodul>do not modify files in the store, bad things could happen
<civodul>you could copy the initrd elsewhere and modify it there, then tell GRUB to use that on
<civodul>+e
<efraim>If there's already a store on the target of 'herd start cow-store' I think it'll reuse whats there
<Buglouse>^proof?
<Buglouse>ok, not initrd but store/-fstab; how to modify this in a store-approved way?
<bavier`>yay, with this we can drop our C++ compiler dependency, all we need instead is ghc: http://www.haskellforall.com/2017/06/translating-c-parser-to-haskell.html /s
<paroneayea>ACTION sees modular texlive series of patches
<paroneayea>rekado is a hero
<janneke>\\o/ rekado
<janneke>ACTION needs to run, afk for a bit
<civodul>efraim: yeah on closer inspection i think you're right
<civodul>bavier`: heheh :-)
<civodul>(guix derivations) has a 5 year old derivation parser :-)
<Buglouse>ok, I got the system to mount the partition on boot by changing store/-shepherd-file-system--home; options parameter to #f in (mount-file-system)
<eiro>hello
<eiro>the install instructions are assuming you have a root account. what if you don't ?
<Buglouse>now mount -o remount,data=writeback,noatime workd. how does shepherd mount that it is unable to process option? (a "default" string also failed, I wonder if an empty string would as well)
<davidl>When Im starting my laptop I get an issue that file /var/run/slim.auth doesn't exist and slim doesn't start. Im using xfce and gnome desktop services. Any idea what the issue might be?
<Buglouse>is user creation recommended through guix system configuration?
<Buglouse>nvm rtfm
<janneke>ugh, github: Loading https://github.com/session...
<janneke>ACTION completes workflow with mouse-shoving and graphical browser
<Apteryx>Anyone using adb with GuixSD?
<DoublePlusGood23>Apteryx: it worked for me iirc
<Apteryx>DoublePlusGood23: I cannot see my devices even when connected. I think I need to create a "plugdev" group and add my user to it.
<Apteryx>+ some udev rule for the phone
<Apteryx>DoublePlusGood23: Do you remember having to go through that?
<DoublePlusGood23>Apteryx: yup. That's normal across distros.
<DoublePlusGood23>Quick fix is to kill the server `adb kill-server` and run it as root `sudo adb devices`
<DoublePlusGood23>But I wouldn't recommend that for daily use obvs, Apteryx
<Apteryx>Would you still have a GuixSD config.scm snippet that adds the plugdev group, by any chance?
<Apteryx>DoublePlusGood23: Good dirty workaround using sudo :) I'll resort to it if I can't make it work.
<Apteryx>I'm a bit confused... I think I must add "plugdev" to the "groups" field of the operating-system record; and also add "plugdev" to the "group" field of my "user-account" record?
<DoublePlusGood23>Apteryx: yup.
<DoublePlusGood23>I have a new-ish install atm, so I haven't made various group changes yet.
<Apteryx>OK, will try it out if my "guix package -u" can finish someday.
<DoublePlusGood23>Apteryx: lol yup, I've been there.
<civodul>are you upgrading texlive? :-)
<DoublePlusGood23>I need to fix up an offload server or something
<Apteryx>civodul: yes ;) but that's behind me now. It's building webkit-gtk2 or something required for GnuCash I believe.
<Apteryx>This one always takes ages.
<civodul>uh uh
<Apteryx>Anyone knows if the new AMD Ryzen chips work without blobs? If it does, it could be a good investment to maximize productivity with Guix development.
<rain1>I heard they needed a bios update to fix some problems, these are ussually binary
<DoublePlusGood23>Apteryx: I'm almost certain they're bloby
<Apteryx>DoublePlusGood23: :(
<DoublePlusGood23>Apteryx: sadly most modern hw is going to be bloby without a massive amount of effort. And with most of it being Tivo-ized even replacing with something free might be impossible.
<Apteryx>matlock on the #linux-libre channel seems to say it should work since 4.10 linux kernel. I hope he's right!
<Apteryx>DoublePlusGood23: Yes, that's partly why I've been sticking to my aging hardware.
<DoublePlusGood23>Apteryx: I have a libreboot x200 I use for guix dev, but I'm a non-free Ubuntu & Android user most of the time :/
<Apteryx>DoublePlusGood23: OK! I have GuixSD on a an aging Dell V130 laptop and everything works except bluetooth. No coreboot though :(
<DoublePlusGood23>Apteryx: that's great :*) Seems like non-Intel graphics will non-free for the foreseeable future.