sphalerite changed the topic of #nixos-dev to: NixOS Development (#nixos for questions) | NixOS 19.09 now in beta! https://discourse.nixos.org/t/nixos-19-09-feature-freeze/3707 | https://hydra.nixos.org/jobset/nixos/trunk-combined https://channels.nix.gsc.io/graph.html | https://r13y.com | 19.09 RMs: disasm, sphalerite | https://logs.nix.samueldr.com/nixos-dev
lassulus has quit [Ping timeout: 240 seconds]
tv has quit [Ping timeout: 245 seconds]
tv has joined #nixos-dev
lassulus has joined #nixos-dev
orivej has quit [Ping timeout: 245 seconds]
tv has quit [Ping timeout: 268 seconds]
lassulus has quit [Ping timeout: 268 seconds]
lassulus has joined #nixos-dev
tv has joined #nixos-dev
ris is now known as _ris
_ris is now known as ris
ris has quit []
ris has joined #nixos-dev
tv has quit [Ping timeout: 265 seconds]
lassulus has quit [Ping timeout: 265 seconds]
tv has joined #nixos-dev
lassulus has joined #nixos-dev
ixxie has quit [Ping timeout: 240 seconds]
lassulus has quit [Ping timeout: 268 seconds]
tv has quit [Ping timeout: 240 seconds]
tv has joined #nixos-dev
lassulus has joined #nixos-dev
orivej has joined #nixos-dev
ixxie has joined #nixos-dev
ris has quit [Ping timeout: 246 seconds]
ixxie has quit [Ping timeout: 245 seconds]
<jtojnar> worldofpeaceI have reviewed all changelogs (except for these lines https://paste.gnome.org/p5lznh2mi) and all changes (except for the session-related, initial setup and extensions)
<jtojnar> now looking into the crashes
* jtojnar uploaded an image: Screenshot from 2019-09-29 04-21-46.png (275KB) < https://matrix.org/_matrix/media/v1/download/matrix.org/lHtShdHmbkCQVnHYfJPBNaEm >
<jtojnar> we should probably have light font variant of the logo
<samueldr> can we change the background instead?
<samueldr> we already have one for lightdm that I think should work fine here
<jtojnar> samueldr last time I checked, it had to be compiled into gresource file
<samueldr> hm
das_j has quit [Remote host closed the connection]
das_j has joined #nixos-dev
<jtojnar> yeah, we use the same wallpaper for he lockscreen
<jtojnar> worldofpeace opened https://gitlab.gnome.org/GNOME/tracker-miners/issues/81 for now
phreedom has quit [Quit: No Ping reply in 180 seconds.]
phreedom has joined #nixos-dev
phreedom has quit [Client Quit]
phreedom has joined #nixos-dev
phreedom has quit [Remote host closed the connection]
phreedom has joined #nixos-dev
phreedom has quit [Ping timeout: 260 seconds]
phreedom has joined #nixos-dev
lassulus has quit [Ping timeout: 245 seconds]
tv has quit [Ping timeout: 265 seconds]
tv has joined #nixos-dev
lassulus has joined #nixos-dev
justanotheruser has joined #nixos-dev
tv has quit [Ping timeout: 240 seconds]
lassulus has quit [Ping timeout: 268 seconds]
ixxie has joined #nixos-dev
tv has joined #nixos-dev
lassulus has joined #nixos-dev
phreedom has quit [Ping timeout: 260 seconds]
phreedom has joined #nixos-dev
lassulus has quit [Ping timeout: 240 seconds]
tv has quit [Ping timeout: 265 seconds]
phreedom has quit [Ping timeout: 260 seconds]
phreedom has joined #nixos-dev
tv has joined #nixos-dev
lassulus has joined #nixos-dev
phreedom has quit [Client Quit]
phreedom has joined #nixos-dev
tv has quit [Ping timeout: 240 seconds]
lassulus has quit [Ping timeout: 276 seconds]
tv has joined #nixos-dev
lassulus has joined #nixos-dev
ixxie has quit [Ping timeout: 240 seconds]
lassulus has quit [Ping timeout: 240 seconds]
tv has quit [Ping timeout: 240 seconds]
tv has joined #nixos-dev
lassulus has joined #nixos-dev
phreedom has quit [Remote host closed the connection]
phreedom has joined #nixos-dev
<worldofpeace> samueldr: Yeah I was struggling with the logo to use there, that was the one I found most suitable
<worldofpeace> A light font would be better though
<worldofpeace> Jan Tojnar: seems your gist expired
<worldofpeace> Jan Tojnar: does totem no longer crash?
<worldofpeace> ah nvm, you mentioned both in the issue
rajivr___ has quit [Quit: Connection closed for inactivity]
<worldofpeace> samueldr: I don't think we should change gdm's background. it's more of a texture so I think it's rather intentionally unconfigurable
rajivr___ has joined #nixos-dev
FRidh2 has joined #nixos-dev
<jtojnar> worldofpeace https://paste.gnome.org/pos6sxgtv
<worldofpeace> The "evolution" one I think I'll fix now, I remember a discourse post about this being broken
<worldofpeace> also, gnome-boxes is and has been pretty broken in nixos
<worldofpeace> we really need to forward some issues upstream
<jtojnar> looks like mogwai had a release in July https://gitlab.freedesktop.org/pwithnall/mogwai
ixxie has joined #nixos-dev
ixxie has quit [Ping timeout: 268 seconds]
<worldofpeace> Anything depend on it Jan Tojnar ? IIRC endless used that
<jtojnar> worldofpeace gnome software supports it now
<worldofpeace> (reads NEWS) "Add support for download scheduling using Mogwai", guess software and download scheduling can still be important for flatpaks
<jtojnar> yeah that
<worldofpeace> lol, your gist expired again. I guess I should copy it locally :D
<worldofpeace> gist -> gnome paste
<worldofpeace> ah wait, browser cache to the rescue
<jtojnar> worldofpeace bah, I set it to last month
<jtojnar> appears they plan introducing air-gapped vpn https://gitlab.gnome.org/GNOME/gnome-boxes/merge_requests/182
<worldofpeace> Jan Tojnar: they do kinda have a point with "we don't see any use-case where sharing the clipboard is not the most convenient option".
<worldofpeace> though clearly no security implications were taken into account
<jtojnar> worldofpeace they mention precisely the use-case I care about – running untrusted software in the VM. even suggest the solution I would choose – air-gapped VMs rather than exposing individual hardening options
<worldofpeace> Jan Tojnar: Right, though punting it to the future isn't the best resolution IMHO. they're not air-gapped now, so why not just have an on by default instead a non-optional on by default
<jtojnar> worldofpeace yeah, but Boxes were not designed with this use case in mind so there might be other leaks
<jtojnar> better come up with a properly thought-out air-gap, than disable just a clipboard sharing and invoke false sense of security
<worldofpeace> I think that's a proficient evaluation.
<jtojnar> worldofpeace should we revert tracker updates for now?
<worldofpeace> Jan Tojnar: I think so, I'm not sure waiting is going to fix anything
<worldofpeace> and then meanwhile the PR gets bigger :D
<worldofpeace> I probably could also use an older e-s-d for the Pantheon datetime indicator, though I'm not sure if that's terrible
ris has joined #nixos-dev
<jtojnar> worldofpeace because of the libecal-2?
<{^_^}> elementary/wingpanel-indicator-datetime#122 (by decathorpe, 14 weeks ago, open): port to libecal-2.0
<worldofpeace> I asked around in their slack, since that actual wip branch is gone and I got worried :D
<jtojnar> any answer?
<worldofpeace> pinged Corentin Noël, they're usually responsible for that stuff.
<worldofpeace> but its already been weeks
<worldofpeace> (not since the slack ping though)
<jtojnar> worldofpeace I will try enabling the chromaprint plugin and see if it resolves the issue
<worldofpeace> Jan Tojnar: hmm could be an issue in build config, perhaps ensure it's the same config they test in CI on gitlab
<hyperfekt> Ten years ago the Nix language had a grammar in the manual, whatever happened to that?
<hyperfekt> Did the language become too complex too maintain it?
<hyperfekt> I wonder if we could reintroduce that, seems like a very important tool for understanding to me.
ixxie has joined #nixos-dev
<jtojnar> hyperfekt I suspect it was just hard to keep it in sync, and it is not the best tool to learn for many people
<hyperfekt> oh it was 15 years ago. sometimes it's crazy to think how old Nix is already. maybe it was slowing down development of the language, which shouldn't be as big a problem now. (although that could be thought of as a feature, considering the language is now probably so complex it'd be very hard to write a grammar)
<jtojnar> not very complex
<hyperfekt> oh nice!
<jtojnar> it's just, from what I've heard, formal grammars are not very friendly to people outside academia
<jtojnar> which is weird, since they are everywhere in RFCs
__monty__ has joined #nixos-dev
<hyperfekt> It seems possible to autogenerate a prettier version from that yacc file...
<hyperfekt> s/possible/viable/
jonringer has joined #nixos-dev
<worldofpeace> Jan Tojnar: I think for 3.36 we should learn how to use GitHub's project boards :P
<emily> jtojnar: conversely informal grammars and hand-written parsers are unfriendly to ivotry tower academics :p
<emily> the WHATWG URL specification makes me weep
<jonringer> worldofpeace: are there any do's and don'ts of commit practices? outside of chapter 14 and 15 of the manual? https://nixos.org/nixpkgs/manual/#chap-submitting-changes
<emily> ahahahaha
<emily> nix.png
<gchristensen> jtojnar: didn't you add those?
<jtojnar> gchristensen not merged yet, since MathML is not supported in chrome https://github.com/NixOS/nixpkgs/pull/57595
<{^_^}> #57595 (by jtojnar, 28 weeks ago, open): doc: Convert natural deduction to MathML
<gchristensen> ah
<gchristensen> :(
<worldofpeace> jonringer: PM me for any help on being a commiter
<jtojnar> gchristensen we could add something like KaTeX but I am wary of adding yet another dependency to manual for just three equations
<gchristensen> +1
<worldofpeace> jonringer: In general, try to make it linked to an attribute. or perhaps a directory `nixos/doc:`
<worldofpeace> jonringer: and everyone has the personal preferences when comes to pushing commits. Currently no guidelines for that
<jonringer> worldofpeace: sounds good, thanks :)
<__monty__> emily: What's not to like about the spec?
<emily> __monty__: it's a procedural specification of a parsing algorithm with no formal grammar or even associated class or anything
<emily> it's literally just "implement this string-munging/goto-ful algorithm in your C++ and call it a day"
<__monty__> : $
<emily> sure it's this way to be a descriptivist spec of existing behaviour, but it's kind of your job as a standards organization to analyse that behaviour and turn it into a proper grammar
<__monty__> Yikes! This isn't getting RFC approval anytime soon, is it?
<emily> and also this kind of thing is the cause of a huge number of security bugs, blah blah langsec, etc.
<emily> who cares? whatwg has the browser manufacturers, they maintain the html spec, everyone abides by the url standard in practice (partially because the whole thing of whatwg is specifying what everyone just does in practice)
<emily> so it's de-facto what you have to deal with
<emily> it just is what it is
<emily> and it would certainly be work for them to do what they should, and that work doesn't really benefit them unless they take a long-view on things like security and stuff, so *big shrug*
<emily> eh, sorry for the offtopic; didn't notice this was -dev
<__monty__> Thanks for the explanation anyway.
ixxie has quit [Ping timeout: 240 seconds]
<jtojnar> I say to myself that I should not forget to stage the patch when I create it
<jtojnar> I forget it anyway
<worldofpeace> literally life with git every day :D
<hyperfekt> I made a dirty hacky commit hook to prompt me for new files just because I reliably forgot every time to add them ^^
<hyperfekt> jtojnar: Maybe this will solve your problem: https://github.com/hyperfekt/git-stagelight
<worldofpeace> Jan Tojnar: yay, that seems to have "fixed" totem and gnome-music
<jtojnar> worldofpeace yeah, it is basically a NPE from trying to use a non-existion grilo plugin
<worldofpeace> Jan Tojnar: right makes sense (eww to that code), We're almost done !
<worldofpeace> now to just hunt down every other bug
<jtojnar> worldofpeace for the GLib, we will need something like https://gist.github.com/jtojnar/9c008fa1da64f2fbfab9a42aa0f6e3c5
<worldofpeace> ahh, because they added those utilities to the .pc file
<jtojnar> gotta run now
emily has quit [Remote host closed the connection]
emily has joined #nixos-dev
phreedom has quit [Remote host closed the connection]
phreedom has joined #nixos-dev
<{^_^}> #70024 (by domenkozar, 1 minute ago, open): nix: allow static compilation
orivej has quit [Ping timeout: 240 seconds]
ixxie has joined #nixos-dev
ixxie has quit [Ping timeout: 240 seconds]
<domenkozar[m]> does anyone know if nix-daemon reloads on user nix.conf change?
orivej has joined #nixos-dev
orivej has quit [Ping timeout: 240 seconds]
FRidh2 has quit [Quit: Konversation terminated!]
<LnL> you mean /etc/nix/nix.conf or the user's one?
ixxie has joined #nixos-dev
<domenkozar[m]> user's one
aristid has joined #nixos-dev
<LnL> the daemon doesn't load that, only works for client settings AFAIK
ixxie has quit [Ping timeout: 276 seconds]
jonringer has quit [Ping timeout: 252 seconds]
page has quit [Ping timeout: 245 seconds]
orivej has joined #nixos-dev
Jackneill has joined #nixos-dev
evanjs has quit [Quit: ZNC 1.7.4 - https://znc.in]
evanjs has joined #nixos-dev
worldofpeace_ has joined #nixos-dev
Jackneill has quit [Remote host closed the connection]
__monty__ has quit [Quit: leaving]