IRC channel logs

2018-06-29.log

back to list of logs

***JeremiahOrians[m is now known as oriansj1
<oriansj1>well then
<oriansj1>why does riot work with #guix but #bootstrappable doesn't bridge
<oriansj1>what the heck #guix-homesteading works too?
<pkill9>interesting that all the components of qt are version 5.11 but the 'qt' package is still on 5.9
<pkill9>Gentoo's been hacked https://archives.gentoo.org/gentoo-announce/message/dc23d48d2258e1ed91599a8091167002
<pkill9>does Guix support signed commits? I remember there beign some discussion about it
<pkill9>being*
<pkill9>correction: the Github mirror of Gentoo has been hacked
<OriansJ>well signed commits and signed tags for releases are probably something we should consider.
<daviid>it would be nice to see GuixSD listed under the 'GNU distributions the Librem 5 can run' (https://puri.sm/shop/librem-5/)
<htnshtns>Does anyone use btrfs subvolumes in GuixSD?
<lukas__>Doesn't %desktop-services import (gnu services networking) and call wicd-service procedure?
<lukas__>For some reason wicd client is complaining it could not find wicd daemon over dbus
<thomassgn>sneek: later tell lukas__ I think wicd was changed for networkmanager, I'd check the sources.
<sneek>Okay.
<thomassgn>sneek: thanks, botsnack
<sneek>:)
<rekado>we do sign commits and tags.
<jonsger>rekado: is today release?
<rekado_>ACTION suspects that berlin ran out of space
<rekado_>ACTION turns out to be wrong
<g_bor[m]>rekado_: What are the symptoms?
<efraim>Big flashing red lights ;)
<g_bor[m]>efraim: maybe some helpful label, like 'Problem'...
<g_bor[m]>That makes finding the problem so much easier...
<ng0>so I have a service, or rather application, which requires to chown + chmod (not setuid!) 2 executables to run properly
<ng0>what's the guix way to achieve this?
<ng0>since the store will generally not preserve this / it is bad practice in there
<ng0>I can imagine symlinking or setting a search-path in the applications package specification
<ng0>symlinking is out, won't work afai guess
<rekado_>ng0: a system service
<ng0>where I do..?
<ng0>context, this is about finally being annoyed enough to finish the gnunet service from 2016+2017, but there are caveats which became more clear just recently.
<ng0>or, less annoyed again about services :)
<ng0>so I add another service which copies these libexec located executables into a location outside of store? occasionally I have a thing for solving easy problems complicated, so ideas are welcome
<ng0>I don't think we have /run/current-system:...:/lib/libexec/:......:$HOME/libexec/, but I can read the paths again and think about it
<ng0>ouch
<ng0>okay..
<ng0>I think I know how I can do this. but I'm still open to suggestions before I do it. the service will come with the 0.11 release of gnunet anyway, because there's some guix specific issues to solve
<ng0>like our "friend" the curl_ca_bundle, etc
<ng0>no blocker thoughm just annoying for hostlists service
<ng0>I have no image of the bootprocess at the moment. When user-processes are up, networking should be set up as well as loopback and home-directories, right?
<civodul>Hello Guix!
<roptat>hi Guix!
<roptat>yesterday evening I could transpile the simplest scala file "package scala.annotation\\nabstract class Annotation" into java :)
<civodul>oh!
<civodul>there's a scala->java transpiler?
<g_bor[m]>roptat: That's so nice!
<g_bor[m]>roptat: Did you add maven-compat, and java-kafka-clients?
<roptat>civodul: not yet, I'm building it
<roptat>it's going to take some time though
<roptat>g_bor[m]: yes, they are mine :)
<g_bor[m]>roptat: They fail their test suites on master. I've found the kafka-clienst is failing because of libsnappy.
<g_bor[m]>There was a bug-report about that, looking for it now.
<g_bor[m]>Had no time for to check the maven one.
<roptat>g_bor[m]: I'll have a look
<g_bor[m]>I've also disabled a test in jetty-security. It was already disabled on jetty-security-9.2, it now also fails on 9.4, I diabled it also on 9.4.
<roptat>g_bor[m]: ok
<civodul>roptat: "building"? you mean you're writing one?
<roptat>yes
<roptat>I'm using antlr for that: they already have a grammar for scala
<g_bor[m]>roptat: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=31961 this is the same as the kafka problem.
<roptat>so basically, I have a CST for free, then I build a scala AST that I convert to a java AST, and then to java source code
<roptat>(CST=Concrete Syntax Tree, AST=Abstract Syntax Tree)
<g_bor[m]>roptat: The test failures are hidden by the current bug, that #f return values are ignored. This will become a problem when staging is merged.
<roptat>ok, I understand
<roptat>is the snappy issue solved?
<g_bor[m]>roptat: it seems it is not.
<roptat>ok, I'll start with it then
<g_bor[m]>Thank you!
<g_bor[m]>roptat: Rekado noticed, that it seems that some old gcc is pulled in, so it might worth to look at guix graph....
<roptat>we build with gcc-5 now, right?
<g_bor[m]>roptat: I guess yes. But I will have a look.
<g_bor[m]>roptat: how can I find it out, actually? I see that current gcc-toolchain is 7.3...
<efraim>Not 5?
<roptat>(define-public gcc gcc-5) in (gnu packages gcc)
<g_bor[m]>oh, fine. Thanks.
<roptat>so I wonder why it references libstdc++ from 4.9.4
<efraim>Icedtea?
<efraim>I think it has gcc 4.9 as an input
<roptat>oh
<roptat>although this is the runpath of libsnappy.so: /gnu/store/4amdzkqix0grksrgw3h5wcv2azvz6pkd-snappy-1.1.7/lib:/gnu/store/l4lr0f5cjd0nbsaaf8b5dmcw1a1yypr3-glibc-2.27/lib:/gnu/store/vla5j7pbkpcp39lsdfsmz7m9azn48lr4-gcc-5.5.0-lib/lib:/gnu/store/vla5j7pbkpcp39lsdfsmz7m9azn48lr4-gcc-5.5.0-lib/lib/gcc/x86_64-unknown-linux-gnu/5.5.0/../../..
<roptat>that may be it though: icedtea has gcc-4.9 as a native-input
<civodul>roptat: i'm not sure that's a reasonable approach: Scala is a complex language with some features not found in Java, like case classes
<jlicht>hey guix
<g_bor[m]>jlicht: Hello!
<g_bor>rekado_: Is there any reason, why icedtea has gcc-4.9 as native-input?
<g_bor[m]>I feel sometimes guix package -s output ordering is problematic...
<g_bor[m]>One thing I noticed is that when searching for python I get all python packages as relevance 10. It would be nice to have packages with exactly matching names ordered first.
<g_bor[m]>Another thing that would be nice, is if we have a matching variable defined, then bring it to the to of the version list, and maybe add (default), or something like this to title, so when searching for example for gcc, or icedtea we could see the default version. WDYT?
<roptat>civodul: I don't know, it looks easier than writting a scala compiler
<roptat>I don't exactly understand how case classes are compiled for instance, but it gets compiled somehow, so we can probably transform the AST to have something that's compatible with java
<roptat>actually using older versions of scala is not a solution
<roptat>there are hundreds of versions we would need and I think at some point there are missing versions
<jlicht>roptat: just like the rust bootstrap (if the C++ rust compiler project did not exist)
<roptat>so what would be the best approach? I think a complete scala compiler is harder than a transpiler to java
<civodul>g_bor[m]: i found a simple trick to give a higher relevance score for exact matches in 'guix package -s'
<civodul>i'll commit that later today
<roptat>and, how do I make sure libsnappy.so uses gcc5's libstdc++?
<g_bor[m]>roptat: I tend to agree. I was thinking about building a tool filter out the unnecessary version from this kind of chain, something like to bootstrap using two different versions, and try until the result is the same. I think that your approach might be the best. At least you just have to write only one half of the compiler.
<rekado_>g_bor: due to a bug in the patches to GCC an internal compiler error was triggered. The cause was not known at that time.
<rekado_>g_bor: you are welcome to revert that change if you can work around that compiler segfault. (There’s a bug report to track this problem.)
<g_bor[m]>civodul: Thanks, that would be so nice :)
<g_bor[m]>rekado_: Ok, I guess I remember that, it was that give an initializer to statics...
<civodul>g_bor[m]: actually, in all modesty ;-), i think the relevance code is quite fun
<g_bor[m]>roptat: Do you think, that the snappy problem would be solved if we switched icedtea to gcc-5?
<roptat>I don't know
<roptat>none of the libs that it requires have gcc-4 in their runpath
<roptat>ah, there's a libsnappy.so in the test directory
<g_bor[m]>roptat: From the error message it seems, that the system libsnappy is referenced...
<g_bor[m]>I will give fixing icedtea on gcc 5 a try.
<roptat>thanks
<g_bor[m]>I'm in the final of changing the default jdk to java8. I've returned to a problem I had earlier, it can be tracked easily, but if there is a better idea, I'd like to hear that. I would like to add ant-junit to native-inputs of all packages using ant-build-system, and having junit as native input. My current approach is to add it manually. Two solutions I thought about was to add it to ant-build-system, that result in adding it
<g_bor[m]>to packages not using junit at all, and to propagate from junit, but that adds it even if we don't use ant-build-system. In the perspective of having maven, and soon gradle, I don't like this either. WDYT?
<rekado_>Is the concept of a native input applicable for Java?
<rekado_>if you were to cross compile, you’d run the tests for the target platform, right?
<rekado_>So I guess it should just be a regular input.
<rekado_>is it a *problem* to add the package only where needed?
<rekado_>the ant-build-system is a very low-level build system, and I hoped that it would not become popular
<rekado_>with maven packaged, I’d suggest putting more effort into a maven-build-system
<pmikkelsen>hello guix
<g_bor[m]>rekado_: Actually it seems, that input and native input are used as synonyms in ant build system. Once we have a maven build system, we can start switching packages to that. I guess that it makes sense then to stick to the manual method in the transition.
<rekado_>sounds good.
<rekado_>g_bor[m]: thank you for your work on Java things! I’m looking forward to merging the branch that makes icedtea-8 the default JDK.
<g_bor[m]>Just a quick question: I would like to push a new branch, wip-java8 to the repository, but I get a huge amount of signature failures. How do you do that?
<g_bor[m]>It is a fresh branch from current master, and I tried git push upstream wip-java8.
<rekado_>are all the commits on that branch signed?
<g_bor[m]>rekado_: Actually I just did git checkout -b wip-java8 on current master.
<g_bor[m]>Then I tried to push.
<efraim>Are your signatures up to date? gpg --check-trustdb
<rekado_>ACTION goes to update the big texlive package
<rekado_>ACTION does this as part of the big GNOME upgrade
<civodul>i upgraded texlive on my laptop yesterday
<civodul>i went to sleep while it was grafting the thing :-)
<civodul>hello pmikkelsen!
<efraim>Back in my day your computer could time out while grafting texlive
<pmikkelsen>Is anyone in here using emacs-use-package? There seems to be a problem with the source tarball we are using, as it only contains four files, where the current master tarball from github has alot more.
<pmikkelsen>The package gives me errors in emacs, but I have tried to use the current source and rebuild the package, and now it works.
<pmikkelsen>According to https://github.com/jwiegley/use-package/issues/602 a new release should be out pretty soon, so maybe we should just wait for that?
<brendyn>from PyQt5.QtCore import PYQT_CONFIGURATION
<brendyn>this line is resulting in an error saying there is no module PyQt5.QtCore
<brendyn>but i have python2-pyqt as an input
<g_bor[m]>efraim: gpg: marginals needed: 3 completes needed: 1 trust model: pgp
<g_bor[m]>gpg: depth: 0 valid: 1 signed: 0 trust: 0-, 0q, 0n, 0m, 0f, 1u
<g_bor[m]>I got this.
<rekado_>I meant: upgrade to the latest release (April 2018)
<g_bor[m]>efraim: I also seem to have only my key on the keyring.
<civodul>pmikkelsen: perhaps we need to update our package to use a current git snapshot?
<civodul>i don't use emacs-use-package though
<pmikkelsen>civodul: I guess that would work, I will send a patch :)
<civodul>awesome :-)
<civodul>efraim: it doesn't time out while grafting (on my ssd laptop anyway), but it definitely takes time
<civodul>efraim, rekado_: do we have a solution regarding access to the OverDrive from the MDC?
<efraim>Oh, right
<civodul>either efraim can switch back to the previous IP somehow, or we need to talk to the sysadmins, i guess
<efraim>I can't get the previous IP back, it's from my previous ISP
<civodul>oh right
<efraim>And I think I'm fully behind a NAT now, my IP shows up alternatively as 100.x.x.x and 31.x.x.x
<civodul>"alternatively"?
<civodul>like it's not a fixed IP?
<efraim>i meant alternately
<efraim>my router shows 100.82.54.47/24 and 'curl icanhazip.com' shows 31.210.182.47
<rekado_>so, I should ask them to permit connections to 31.210.182.47 on the same port as before, right?
<efraim>... and now I can ssh into my pi at zebra.flashner.co.il
<efraim>I'm quite sure, but not 100%, my home IP is 100.82.54.47
<civodul>efraim: git.flashner.co.il says 178.xxx
<efraim>I moved git.flashner.co.il to point to flashner.co.il, i can move it back to my house though
<efraim>when SSHing was completely not working and we were trying the reverse ssh tunnel
<civodul>but anyway, isn't 178.* the correct IP address?
<efraim>178.* is my VPS
<civodul>ok
<rekado_>is my statement above correct? Only 31.xxx should be opened in the firewall?
<efraim>rekado_: only 100.xxx should be needed
<g_bor[m]>When do we expect staging merge?
<nckx>efraim: That doesn't sound right if 31.xxx is the one seen by outside services. I can't ping 100.xxx (also, that netmask...)
<efraim>zebra.flashner.co.il points to flashner.duckdns.org which says my IP is 100.82.54.47
<nckx>But is it correct? It's easy to have your dyndns client poll your router, get the wrong IP somehow, and push it to duckdns.org, for example.
<g_bor[m]>should I do this java8 switch on staging?
<nckx>Just saying I can't ping the thing or connect to ports 80 or 22 (that's no proof of anything, of course, but unusual).
<efraim>nckx: it should respond at 12345, 12346, 52522 and probably 80
<g_bor[m]>Or should I wait for the staging merge? My problem is that it is hard to notice breakage currently, and the ant-build-system fixes are on staging.
<nckx>efraim: Hmm... it turns out that neither seems to respond to a simple netcat or curl. Firewall? Anyway, I'm still positive that 31.xxx is the right IP if either of those is correct. At least it exists.
<nckx>If you have a VPS, you should be able to confirm.
<efraim>i can't get either from the VPS now :(
<thomassgn>as a learning exercise I'm going to create a program that I can use to check for updates to remote files, battery status and then react to them. Looking at guile + 8sync. I realize this is quite similar to shepherd - so the question is: does shepard have the possibility of timed restarts and reactions; or would that be the job of the daemons shepard manages? What I'm looking at is maybe closer to cfengine,
<thomassgn>though I don't know either of them very well.
<jlicht>thomassgn: Could you possibly give an example of what you want to do?
<civodul>rekado_: BTW, could you reconfigure a couple of build machines with the qemu-binfmt-service for arm, aarch64, and maybe mips64el?
<rekado_>civodul: sure!
<civodul>awesome
<civodul>that way we can use them as a last resort
<atw>morning #guix!
<civodul>hey, atw!
<j3kyl_>hey updating vigra (whatever it is) is freezing my PC...
<j3kyl_>thrice in row
<j3kyl_>my config.scm is the barely differnt of lightweight...scm
<rekado_>ACTION keeps shaving a yak
<civodul>what kind of yak?
<civodul>Friday is a good time to shave yaks
<civodul>ACTION marks the stack, meanwhile
<rekado_>I’m upgrading texlive
<rekado_>I forgot why.
<rekado_>but it’s something to do with the upgrade of GNOME packages.
<rekado_>and texlive fails to build with poppler 0.64, but I found a patch just now.
<civodul>oh, that kind of yak :-)
<rekado_>it’s much less hairy than yours, I’m sure :)
<thomassgn>jlicht: say, check battery level every 15 min. if less than 20% display notice on screen. Or check for new commits in remote git repo. if newer - pull and build. Or check local file exists, if not regenerate it. Stuff like that.
<snape>thomassgn: what about mcron?
<snape>also, for building on new git commits, that's kind of Cuirass' job
<thomassgn>which is one reason I think 8sync is a good way, because it seems I get some sort of modularity from the choice of actors I activate.
<thomassgn>hmm, didn't think of cron. I guess I could write cron jobs with guile through guixsds config...
<snape>thomassgn: you can write the jobs in Scheme with mcron, and include them in Shepherd services
<thomassgn>well, I think cuirass is way more than I want or need for this.
<thomassgn>mm
<snape>thomassgn: there are examples of mcron jobs in Guix services already
<snape>Certbot, for one
<thomassgn>but then I don't get to play with 8sync... :P But you're right snape, it's probably way simpler with mcron. :)
<snape>haha, I'm sure you'll find another opportunity to play with 8sync :)
<thomassgn>indeed
<sirmacik>hi there. Got another problem trying to setup guixsd :/
<sirmacik>install went smoothly
<sirmacik>but grub cannot find linux image after reboot
<sirmacik>my config.scm for those sections https://pastebin.com/jLHagSQt
<sirmacik>what am I doing wrong?
<snape>sirmacik: your 'file-system' refers to a dev node 'root', but there is surely no /dev/root
<snape>maybe that's why it doesn't work
<snape>can you replace it with (device "/dev/mapper/root") instead?
<brendyn>I see...
<brendyn>so when someone releases a .tar.gz, .tar.xz, and .zip file of their source, I'm not to assume these archives actually contain 100% the same files. I'm so naive
<civodul>oh another emacs-guix release already \\o/
<pkill9>what do i need to do to fix the cmake error 'ld: cannot find -lpthreads'?
***erdic_ is now known as erdic
<pkill9>oh probably need to add gcc
***Acou_Bass is now known as Piece_Maker
<civodul>woooohooo!
<rekado_>!!!!
<rekado_> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=28211#46
<civodul>yup yup!
<bavier>awesome
<pkill9>what does that mean?
<rekado_>it probably means that the random crashes of “guix pull” when parallelisation is used are gone.
<rekado_>no more embarassing “try guix pull again, maybe it’ll work this time”
<pkill9>sweet :)
<atw>was https://lists.gnu.org/archive/html/guix-devel/2016-09/msg00990.html the last work on a maven-build-system? Trying to catch up on the state of maven
<snape>when Matrix has a networking issue, it's very visible here :-)
<brendyn>I hadn't realised how many people had switched to it.
<janneke>guile-tools compile -L bin -L gash -o gash/gash.go gash/gash.scm says:
<janneke>no code for module (ice-9 readline)
<janneke>seen this before, what's the problem/solution here again?
<atw>is it...add guile to your environment? (guessing)
<janneke>atw: duh, yes guile-readline needs to be added
<janneke>thanks!
<lfam>readline was moved into its own repository in a recent Guile release, so this is a new thing
<janneke>lfam: ah, yeah i'm still juggling guix-0.13 on some machines
<janneke>hmm, i think guile-readline should be a propagated-input, while guile should not, right?
<SahithiYarlagadd>Hi. When i try executing this code, i am getting empty spaces. What did i miss to get the characters displayed.
<SahithiYarlagadd> https://paste.debian.net/1031364
<rekado_>Hi SahithiYarlagadd
<rekado_>what does “(newline)” do?
<SahithiYarlagadd>I just used it to see the characters sepeartely on each line (just for my visual comfort). Nothing to do with the code
<rekado_>oh, okay.
<rekado_>you get spaces because you use “(newline)”.
<rekado_>what is your code supposed to do?
<rekado_>can you explain it please?
<SahithiYarlagadd>The spinner-port is supposed to print one of the spinner-chars each time a string is passed. But when i tried executing
<SahithiYarlagadd>(display "test" spinner-port)
<SahithiYarlagadd>It is showing blank, No characters are getting displayed
<rekado_>the code as it is does not print one of the spinner-chars when any string is passed.
<rekado_>it expects a particular kind of string.
<rekado_>can you identify what the string must look like to trigger the printing of a spinner character?
<SahithiYarlagadd>understood i missed the thing in soft-port
<SahithiYarlagadd>\\n ...... oops my bad !!!!!!!
<rekado_>that’s right
<rekado_>the string handler expects the string to contain a newline character.
<rekado_>hence my question at the beginning about “(newline)”
<rekado_>ACTION goes back to fixing inkscape on the core-updates branch
<SahithiYarlagadd>I got the result. Now my job is to map the build messags and pass the spinner-chars respectively.
<ng0>I can truly value Nix and Guix after having waster 3 people and 3 hours on another OS trying to sync the impossible state and get a good development environment oO
<ng0>story to be continued soon, so 3+ hours -.-
<rekado_>SahithiYarlagadd: you only need to merge parts of the code into the existing handle-string procedure.
<ng0>I love it when you try to package something and one dependency has no other dependencies :) https://github.com/jcomellas/getopt/blob/master/rebar.lock
<ng0>although this is for packaging rebar3.. so bootstrapping the bootstrap.
<civodul>ng0: BTW, there was a GNUnet release recently, which is nice!
<ng0>it wasn't a release
<ng0>but I noticed ;)
<civodul>oh?
<civodul>'guix refresh' tells me there's a new version anyway :-)
<ng0>it was a prerelease
<ng0>intended for developers
<civodul>oh, ok
<ng0>0.11 will be the real release
<ng0>but we got some good amount of work done
<civodul>understood
<ng0>among other things: https://docs.gnunet.org \\o/
<civodul>neat!
<civodul>the "Installing" section is intimidating ;-)
<ng0>it reappeared..
<ng0>I got rid of it, it had 5000 lines of texinfo before.. and then the others decided we need it :)
<ng0>the docs are far from finished
<ng0>but it's getting better every year of progress
<civodul>good
<ng0>I fell into the elixir pot recently. I think we can have a gnusocial/mastodon/pleroma server in guix without depending on nodejs with this. so the pleroma devs told me, about pleroma
<ng0>I hope we can get rid of this before 0.11 for Guix: Jun 29 20:29:45-584202 hostlist-8357 WARNING Download of hostlist from `http://v10.gnunet.org/hostlist' failed: `Peer certificate cannot be authenticated with given CA certificates'
<ng0>it's kinda annoying, our friend curl_ca_bundle
<ng0>it's not required, you will find peers without a bootstrapping server, but it's faster
<civodul>yeah, always the same story
<ng0>our hope for wget2 was crushed for now
<rekado_>ACTION is happy that in Emacs 26.1 M-x shell no longer leaks memory when running “guix build”.
<ng0>the development snapshot release works though.. passes the whole testsuite (which is why it was released in the first place), but I think due to it being a development release we could not include it?
<ng0>there's a handful of bugs left to be fixed: https://gnunet.org/bugs/roadmap_page.php
<civodul>rekado_: that is very cool indeed
<civodul>g'night, people!
<ng0>good nght