IRC channel logs

2018-03-21.log

back to list of logs

<nckx>sneek: later tell sneek_: later tell sneek: later tell _sneek: my brain hurts.
<sneek>You just did.
<nckx>Damn.
<nckx>sneek: no botsnack for you.
<sneek>:)
<nckx>Cheeky bugger.
<OriansJ`>sneek: Remind nckx how awesome you are
<Apteryx>don't we have a package for gnulib?
<Apteryx>I'd like to read its regexp manual offline.
<efraim>Hello!
<efraim>mbakke: make and glibc built with your patches
<thorwil>g'day, guix
<Trecila>Hello, I've come across this project via Outreachy and was attempting the Guix installation from the installation script mentioned there (https://git.savannah.gnu.org/cgit/guix.git/tree/etc/guix-install.sh)
<Trecila>I first hit an error saying $HOME/.guix-profile/etc/profile: No such file or directory. So I created one and tried the installation script again
<Trecila>Now I get error "A previous Guix installation was found. Refusing to overwrite."
<Trecila>Can anyone help me out on this?
<OriansJ`>Trecila: I can help
<OriansJ`>Trecila: this script should work better for you https://paste.debian.net/1015813/
<efraim>Did you run the script as root? (And not with sudo)
<Trecila>@efraim : hmm, I ran it with sudo
<efraim>I tried the rust update on aarch64, ran into a cmake&-native issue
<efraim>Trecila: did you get it up and working?
<efraim>(Guix, not the rust patch)
<chewzerita>Is mirror.hydra.gnu.org down?
<chewzerita>nvm, its back up
<bavier`>it seems weird that the process of creating a new profile requires a different glibc than the one used to build the packages that go into the profile
<efraim>Tell rekado, I'm sure he'd love to continue banging his head against glibc :P
<bavier`>heh :)
<jlicht>hey guix!
<jlicht>I'm having some issues with `guix pull' on my ARM board (armhf afaik). https://paste.debian.net/1015219/ shows the relevant part of the error I get, and have been getting for ~8 days.
<bavier`>jlicht: I think some others have come here in the last days with a similar problem
<bavier`>jlicht: the advice was to move ~/.config/guix/latest out of the way and try again
<jlicht>bavier`: I tried that already :/. I also tried building guix from source, and then doing `./pre-inst-env guix pull' icw the guix/latest removal thing, but still this error stays the same
<jlicht>for now, I am able to use guix from a git checkout, but it would be nice to use guix pull again some time in the future :-)
<jlicht>Is anyone using Cuirass in a non-GuixSD capacity? When trying out the example, I get some string issues: https://paste.debian.net/1015877/
<jlicht>And trying to build from the checkout leads to problems loading the build-aux/guix.scm environment file
<nckx>sneek: What are you, anyway?
<nckx>Sneek has already forgot.
<lfam>jlicht: I'm curious which armhf board you're using?
<efraim>Some things sneek doesn't forget
<efraim>sneek: what is the cake?
<sneek>I could be wrong, but the cake is a lie
<efraim>sneek: botsnack
<sneek>:)
<lfam>sneek should get larget when you feed them a botsnack
<sneek>:)
<lfam>sneeeeek
<jlicht> lfam: I think it is a Asus tinkerboard running armbian
<efraim>Is that armhf or aarch64?
<lfam>It's the Rockchip RK3288 (armhf)
<nckx>lfam: larget?
<lfam>larger
<nckx>Ooh, right.
<jlicht>thing is, `guix pull' used to work properly from about ~5 weeks ago till last week (after I had found a proper power supply at least)
<jlicht>and I already `guix gc'd older stuff, so I can't rollback easily to test :/
<lfam>jlicht: I think the channel is stumped, please file a bug report :)
<jlicht>lfam, I will :-)
<jlicht>lfam: also, was that a MG reference with the sneeeek?
<lfam>I was thinking about the video game 'snake'
<lfam>What's MG?
<jlicht>Metal gear, with a character referred to as Snake.
<nckx>sneek: what is your licence?
<nckx>sneek: what is your quest?
<nckx>DDG knows nothing about Sneek either.
<nckx>Most mysterious bot I've ever encountered.
<nckx>sneek: you _are_ a bot, right?
<lfam>I think people in #guile know about sneek
<OrangeShark>yeah sneek is a bot
<lfam>IIRC it's running bobot++
<lfam>See here: https://gnunet.org/bot/log/guile/2013-07-30
<nckx>OrangeShark: I wasn't _really_ suggesting Ludo' kept a small underfed child under their desk to answer IRC questions. Or at least you can't prove it.
<nckx>lfam: Thanks!
<nckx>That did not turn up in my searchin's.
<lfam>I searched for "sneek bobot"
<nckx>Ahah. I'd never heard of it. I was just wondering why sneek wasn't in Guix.
<nckx>I'm guessing good ol' code shame.
<nckx>sneek: AGPL all the things!
<thomassgn>Hey, wanted to sorry for the ugly patch I sent yesterday... will read the guidelines on contributing and try to follow more closely forward.
<chewzerita>Does anyone know how to fix wireshark permission problems on GuixSD?
<PotentialUser-14>I am consider using Guix as my OS , but first I need to know, will support my Graphics Card which requires non-free firmware?
<bavier`>PotentialUser-14: it depends what your graphics card is
<bavier`>PotentialUser-14: do other FSDG OS's work with your hardware?
<PotentialUser-14>Ive only tried Debian
<PotentialUser-14>and yes
<bavier`>PotentialUser-14: if it worked out-of-the box with debian, I think you'd be fine with GuixSD
<PotentialUser-14>not perfectly I had to enable the nonfree repo to get it to work optimally
<kmicu>Hi PotentialUser-14: you would need to configure that on your own. There is no support for nonfree firmware in GuixSD (Linux-libre kernel).
<PotentialUser-14>Id replace it if I knew of a freedom respecting high-end card
<bavier`>PotentialUser-14: it's possible to supply the firmware/packages yourself for a GuixSD configuration
<PotentialUser-14>@kmicu I didnt know I could do that. Wour
<bavier`>I'm not very familiar with graphics hardware, but I thought I heard AMD has free-software-friendly gpus?
<kmicu>PotentialUser-14: What is your card now?
<PotentialUser-14>would that just mean build my own kernel?
<PotentialUser-14>RX 580
<kmicu>Are you sure that requires nonfree firmware in Debian? Or are you fighting for +10FPS?
<PotentialUser-14>yes I am sure. no I am not, but I would rather render in 2m than 8
<PotentialUser-14>I do
<PotentialUser-14>alot of 3D modelinp¥g
<kmicu>AMD open drivers should be as fast as proprietary. (The situation is different with NVidia.)
<PotentialUser-14>Damn this keyboard
<PotentialUser-14>only for low end
<kmicu>Anyway, yes, iirc, you need to compile Linux-libre kernel to accept blobs.
<PotentialUser-14>ok thanks
<PotentialUser-14>thats not to hard
<kmicu>You could also switch to regular Linux kernel and put blobs in usual place. There are examples for that on popular code repos.
<kmicu>(Or use NixOS if you want to avoid compiling stuff and maintaining your patches.)
<davexunit>rekado: is there an image around anywhere of a guixsd grub boot screen showing the old generations of a system? want to show it in a presentation and don't know how to take a screenshot of it myself
<jlicht>davexunit: it took me reading your message four times before I realised you are talking about a graphical image XD
<efraim>Screenshot inside qemu?
<nckx>Surely there must be one on the home page... nope.
<nckx>I'd add it if I could QEMU. It's a far better illustration of what makes GuixSD special than... that SLIM log-in screen for example.
<nckx>Which will not fill with joy the heart of anyone who's ever had to configure SLIM.
<vagrantc>anyone interested in working on a riscv64 port for guix? the sifive folks might be willing to give a board to a guix developer
<vagrantc>the core toolchain is upstreamed, the linux kernel is getting there, and qemu will soon have support for it
<bavier`>vagrantc: wooo!!!
<nckx>vagrantc: How soon, approximately, is ‘soon’?
<nckx>ACTION is seriously kinda tempted...
<vagrantc>nckx: kernel has core support in 4.15, and other drivers expected 4.16/4.17 .. qemu has basic support in 2.12.0-rc0, with some important bugfixes coming
<nckx>OK, a (somewhat) working -rc was about what I was hoping for :-)
<vagrantc>they already gave a board to a debian developer, but i figured i'd suggest guix as another natural project that might be interested
<nckx>vagrantc: I'm definitely interested in anything RISC-V. It would be my first porting attempt, so not sure if I qualify.
<nckx>(Those 10 minutes were me debating whether or not to jump :-)
<vagrantc>nckx: well, you could ask around in #riscv
<nckx>About a board? Or for general support?
<vagrantc>nckx: i think palmer would be the one to ask about a board
<vagrantc>ACTION doesn't quite know what official status it takes to be a guix developer
<jonsger[m]>riscv seems to really gain momentum :) opensuse started some weeks ago with riscv...
<nckx>ACTION is definitely no efraim.
<jonsger[m]>nckx: I think you can even start without riscv hardware. Just use qemu-system-riscv64 like here https://build.opensuse.org/project/show/openSUSE:Factory:RISCV:qemu
<vagrantc>sure
<vagrantc>arguably the native boards are only as fast as qemu on a reasonably fast x86 machine (core-i7)
<nckx>jonsger[m]: Sure. I'd only be interested in that if there was real hardware coming the project's way as well, though.
<nckx>ACTION has an i5-6402P that could probably do the job.
<jonsger[m]>nckx: or maybe an AMD Ryzen 1800x for 285 Euro :P
<nckx>jonsger[m]: bbbut amdflaws.tk
<nckx>If anyone wants to give me 285 or indeed any amount of EUR I am also all ears.
<nckx>:-p
<jonsger[m]>nckx: or just go for the TalosII :P
<nckx>...I have actually dreamt that I bought one of those.
<nckx>It was a pleasant dream.
<nckx>Possibly because it implied I had moneys.