worldofpeace changed the topic of #nixos-dev to: NixOS Development (#nixos for questions) | NixOS 20.09 Nightingale ✨ https://discourse.nixos.org/t/nixos-20-09-release/9668 | https://hydra.nixos.org/jobset/nixos/trunk-combined https://channels.nix.gsc.io/graph.html | https://r13y.com | 20.09 RMs: worldofpeace, jonringer | https://logs.nix.samueldr.com/nixos-dev
abathur has joined #nixos-dev
plumm has quit [Quit: Textual IRC Client: www.textualapp.com]
plumm has joined #nixos-dev
cole-h has quit [Ping timeout: 265 seconds]
bennofs_ has quit [Ping timeout: 252 seconds]
bennofs__ has joined #nixos-dev
V is now known as based
based is now known as V
tomberek has joined #nixos-dev
rajivr has joined #nixos-dev
<supersandro2000> If anyone has more information about gnidorah please send them to https://github.com/NixOS/nixpkgs/pull/121119
<{^_^}> #121119 (by SuperSandro2000, 1 minute ago, open): treewide: remove gnidorah
cole-h has joined #nixos-dev
orivej has joined #nixos-dev
bennofs__ has quit [Read error: Connection reset by peer]
bennofs_ has joined #nixos-dev
AlwaysLivid has quit [Ping timeout: 240 seconds]
jonringer has quit [Ping timeout: 276 seconds]
orivej has quit [Ping timeout: 252 seconds]
cole-h has quit [Ping timeout: 240 seconds]
bennofs_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
<sterni> Ericson2314: llvm-config-native is new isn't it? why use that over buildLlvmTools.llvm?
bennofs_ has joined #nixos-dev
lopsided98 has quit [Ping timeout: 276 seconds]
lopsided98_ has joined #nixos-dev
<thibm> Is it normal than builtins.toJSON escapes \ characters as \\? https://github.com/NixOS/nix/blob/57b935a8931fb59cdfe521357e76326d467a9a86/src/libutil/tests/json.cc#L85
<thibm> This prevent one to write a unicode literal (e.g., builtins.toJSON { a = "\\uf0a0"; }. This will evaluate to (once unescaped): {"a":"\\uf0a0"}
<thibm> I'll add that this case is not tested in src/libutil/tests/json.cc. All the tests about escaping (e.g. "\n") do not test strings that contains the "\" character.
orivej has joined #nixos-dev
<sterni> thibm: this is intentional: a \ in a string gets escaped to \\
__monty__ has joined #nixos-dev
<thibm> sterni: sure, I got the intention. I'm not sure it's valid, though. A Nix-string like <an unicode \u005C string> (written \\u005C in Nix code) should be converted to JSON as <an unicode \u005C string>, not as <an unicode \\005C string>
<thibm> This is standard JSON as per https://www.ietf.org/rfc/rfc4627.txt 2.5
<thibm> This would need more logic. Indeed, the \ character alone must be escaped to \\, but not the string \u (and maybe other?)
<sterni> thibm: this is correct if your string contains \u005C you woudln't want to have it be converted into an unicode literal in JSON
<sterni> thibm: what you would propose would be that (builtins.fromJSON (builtins.toJSON "\\u005C")) == "\\"
<sterni> thibm: Nix is completely unaware of unicode and all nix strings are byte squences, utf-8 enconded by convention in nixpkgs
<sterni> thibm: the JSON standard says that you *may* encode unicode code point, but since you don't have it, as long as your string is utf-8 encoded it is fine
<thibm> sterni: However, I feel like starting to make exceptions in toJSON from Nix string literals (just a bunch of characters) seems wrong
<thibm> yes totally.
<thibm> sterni: I'll add this test, if that answers your question: toJSON(out, "\\u005C"); ASSERT_EQ(out.str(), "\"\\u005C\"");
<LinuxHackerman> thibm: I don't see any exceptions here?
<sterni> I'm also not quite sure what you are getting at
<LinuxHackerman> > (builtins.fromJSON (builtins.toJSON "\\u005C")) == "\\"
<{^_^}> false
<LinuxHackerman> err
<LinuxHackerman> > (builtins.fromJSON "\\u005C") == "\\"
<{^_^}> unrecognised JSON value
<LinuxHackerman> argh, element…
<sphalerite> > > (builtins.fromJSON "\u005C") == "\"
<{^_^}> error: syntax error, unexpected '>', at (string):494:1
<sphalerite> > (builtins.fromJSON "\\u005C") == "\\"
<{^_^}> unrecognised JSON value
<sphalerite> ugh I give up lol
<sphalerite> (no I don't)
<sphalerite> builtins.fromJSON ''"\\u005c"''
<sphalerite> > builtins.fromJSON ''"\\u005c"''
<{^_^}> "\\u005c"
<thibm> LinuxHackerman: the exception is that "\abcd" is translated to "\\abc" while "\uabcd" is translated to "\uabcd"
<sphalerite> > builtins.fromJSON ''"\u005c"''
<{^_^}> \u characters in JSON strings are currently not supported
<sphalerite> wait what
<thibm> oh
<thibm> ah, that's the parser side
<thibm> not the generator
<sphalerite> anyway, where would you expect \u escapes to be generated?
<sphalerite> \\ is fine, no?
<thibm> no it's not
<thibm> In json, "\\uabcd" and "\uabcd" are two different strings
Synthetica has joined #nixos-dev
<sphalerite> of course
<thibm> and from Nix, there is no way to write "\uabcd" right now
<sphalerite> > builtins.toJSON "🥕" # but why would you need to?
<{^_^}> "\"🥕\""
<thibm> sphalerite: why not :)
<thibm> sphalerite: the user case was "my text editor do not display the codepoint nicely so I want to write in the \u form" (it was not me, I proposed to write the unicode character directly to solve the toJSON issue at the first place)
<thibm> Still, it's a bug from my point of view
<sphalerite> I mean, you can still manually write a JSON string within a nix string like ''"\u005c"''
<sphalerite> I don't get what the bug is
<sphalerite> you want toJSON to be configurable, so it will output either \u sequences or just the character directly?
<thibm> manually, sure. What if you try to put that in a config option that generates the JSON for you?
<sphalerite> So this has nothing to do with JSON, but you want _nix_ strings to support \u sequences?
<sphalerite> nix string literals*
<sterni> thibm: this is not solvable in nix as long as nix strings are byte sequences
<thibm> sphalerite: it does not matter if toJSON put the character or the \u sequence, it's equilavlent. The bug is that toJSON currently generates neither of those
<sterni> or it would mean that builtins.fromJSON would need to decode it as some unicode encoding and then convert it to JSON
<thibm> sterni: yes, the more I think about it, the more I feel like there is no elegant solution
<thibm> sterni: do you mean that we would use fromJSON to parse a string in order to generate a correct string JSON value in toJSON?
<thibm> sphalerite: \u characters are now supported in builtins.fromJSON BTW https://github.com/NixOS/nix/pull/3305
<{^_^}> nix#3305 (by knl, 1 year ago, merged): Add support for unicode escape sequences in fromJSON
<sphalerite> > builtins.fromJSON ''"\u005c"''
<{^_^}> \u characters in JSON strings are currently not supported
<thibm> I guess the bot has an old version
<sphalerite> Right, this is different from my nix repl, that's why I was confused
<thibm> ok
<sphalerite> infinisil: we can has newer nix? :p
<puck> <sphalerite> wait what <- old json parser
<puck> ah, missed scrolldown
<sterni> thibm: no I mean that fromJSON would need to utf-8 decode the string in order to know the codepoints within it in order to \u escape them
<sterni> We could add that, but it is not actually required by the standard
<thibm> sterni: hm, the issue has nothing to do with fromJSON. And fromJSON already parses \u strings
<sterni> OTOH it would prevent nix from generating invalid JSON
<sterni> thibm: I meant toJSON, sorry
<thibm> ok
<sterni> since JSON requires some form of unicode encoding, so technically nix can generate invalid json
<puck> even if this was fixed, JSON encoding can still cause invalid JSON
<thibm> sterni: OK. Like in the "\u0 0", the \ should be escaped indeed
<puck> > builtins.toJSON (1.7e308 * 1.7e308)
<{^_^}> "inf"
<thibm> > builtins.toJSON 0.5
<{^_^}> "0.5"
<sterni> puck: I'm also inclined to think that for 99% of nix usage string encoding is an edge case we don't need to worry about
<puck> and, iirc, almost any character can just be put in JSON without \u-encoding it
<puck> so technically you could generate invalid JSON by feeding in non-UTF-8 text
<thibm> The proper solution would be that Nix itself parses \u codepoint and use multibyte strings indeed. Having ['\' 'u' '0'…] cannot work properly
<eyJhb> > builtins.toJSON 0,5
<{^_^}> error: syntax error, unexpected ',', expecting ')', at (string):494:18
<eyJhb> Well okay then. :)
<thibm> or stuck with singlebyte strings. If Nix deals with 🥕, it can deals with \u0001f955 as well once it's parsed
qyliss has quit [Quit: bye]
qyliss has joined #nixos-dev
<spacekookie> sphalerite: Mic92 I won't be able to make it to the meeting today btw
<spacekookie> Sorry for the short notice
<Mic92> niksnut: spacekookie are you there fore the meeting?
<Mic92> I know kloenk is not coming.
<kloenk> I think I might come today. Already finished with my finals for today, so I probably will join
<niksnut> Mic92: yes
<sphalerite> Mic92: I'll be there
jtojnar has quit [Ping timeout: 248 seconds]
jtojnar has joined #nixos-dev
ajs124 has quit [Ping timeout: 248 seconds]
ajs124 has joined #nixos-dev
qyliss has quit [Quit: bye]
qyliss has joined #nixos-dev
Irenes has quit [Ping timeout: 245 seconds]
<infinisil> sphalerite: Ah yeah I could update it
Irenes has joined #nixos-dev
tdeo has quit [Ping timeout: 245 seconds]
tdeo has joined #nixos-dev
orivej has quit [Ping timeout: 246 seconds]
qyliss has quit [Quit: bye]
qyliss has joined #nixos-dev
tomberek has quit [Quit: Connection closed]
AlwaysLivid has joined #nixos-dev
bennofs_ has quit [Read error: Connection reset by peer]
bennofs_ has joined #nixos-dev
<gchristensen> aaaaaaaaaaaaaaaa just realized that not all the hydra tests pass today, but I thought github was checking them
<gchristensen> wait ... github *is* checking them ... but then why is it failing to deploy ... this is such a nightmare
winterqt_ has joined #nixos-dev
winterqt has quit [Ping timeout: 260 seconds]
qyliss has quit [Quit: bye]
__monty__ has quit [Quit: leaving]
qyliss has joined #nixos-dev
<Mic92> infinisil: I saw that you were working https://github.com/NixOS/rfcs/pull/81 Did you made progress there?
<{^_^}> rfcs#81 (by Lassulus, 19 weeks ago, open): [RFC 0081] Show unmaintained packages
<infinisil> Mic92: Nope
stigo has quit [Ping timeout: 240 seconds]
rj has quit [Ping timeout: 240 seconds]
qyliss has quit [Quit: bye]
qyliss has joined #nixos-dev
rj has joined #nixos-dev
stigo has joined #nixos-dev
orivej has joined #nixos-dev
evils has quit [Ping timeout: 240 seconds]
jonringer has joined #nixos-dev
qyliss has quit [Quit: bye]
qyliss has joined #nixos-dev
evils has joined #nixos-dev
<Ericson2314> sterni: buildLllvmTools.llvm's llvm-config will have the wrong paths
qyliss has quit [Quit: bye]
qyliss has joined #nixos-dev
Raito_Bezarius has quit [Ping timeout: 250 seconds]
orivej has quit [Ping timeout: 240 seconds]
Raito_Bezarius has joined #nixos-dev
cole-h has joined #nixos-dev
AlwaysLivid has quit [Remote host closed the connection]
boredom101 has joined #nixos-dev
boredom101 has quit [Quit: Connection closed]
<cole-h> gchristensen++
<{^_^}> gchristensen's karma got increased to 458
<eyJhb> What are we looking at here?
<gchristensen> darwin is building ;
<gchristensen> ;_;
<lassulus> wuhu darwin is back?
<gchristensen> still need to finalize the config, but I have made it run once again :)
<abathur> <3 gchristensen
<{^_^}> gchristensen's karma got increased to 459
<gchristensen> I, uh, took liberties with a writable /nix/store to iterate faster ;_;
<sterni> Ericson2314: ah I see
midchildan_ is now known as midchildan
bennofs__ has joined #nixos-dev
julm has quit [Remote host closed the connection]
julm has joined #nixos-dev
bennofs_ has quit [Ping timeout: 246 seconds]
marek has joined #nixos-dev
marek has quit [Changing host]
justanotheruser has joined #nixos-dev
orivej has joined #nixos-dev
rajivr has quit [Quit: Connection closed for inactivity]
<gchristensen> abathur: is there a reason I shouldn't smash the button on https://github.com/NixOS/nix/pull/4289 ?
<{^_^}> nix#4289 (by abathur, 21 weeks ago, open): darwin: encrypt nix volume if filevault is enabled
<hexa-> rmcgibbo[m]: https://github.com/NixOS/nixpkgs/pull/121165#issuecomment-829346585, the first warning seems off
cole-h has quit [Ping timeout: 265 seconds]
<rmcgibbo[m]> Can you elaborate? Why?
<abathur> gchristensen: with the caveat that it does need some cleanup (commits unsquashed for clarity, and there's a pseudo-python file included that just exists to make the big-picture ~process clearer), my personal opinion is that it's otherwise ready
<gchristensen> want to clean it up?
<gchristensen> let's merge it ...
<abathur> clarity/reviewability
<abathur> I think the history can be squashed on merge? the file that needs removing is `scripts/darwin_volume_reference.py`. I can also do both, though I do need to finish an email up first :)
<gchristensen> agreed
<gchristensen> okay ... I need to figure out the things I changed in this system's config so I can get it working from a fresh deploy ...
<gchristensen> I wish I had a second mac I could use to experient :)
<rmcgibbo[m]> hexa-: i downloaded the kea-1.9.6 package, and it looks to me like there is in fact no such pattern in Makefile.am.
<hexa-> rmcgibbo[m]: the line hint is wrong
<rmcgibbo[m]> oh. yeah it just doesn't know the line because the check is based on grepping the log.
<{^_^}> jtojnar/nixpkgs-hammering#112 (by rmcgibbo, 8 seconds ago, open): Log checks report incorrect line numbers
<rmcgibbo[m]> imho low prio though
rj has quit [Ping timeout: 240 seconds]
<abathur> gchristensen: removed the extra file, squashed, and force-pushed; installer test running in my fork (usually takes ~30m) at https://github.com/abathur/nix/actions/runs/797061842
<gchristensen> great!
<gchristensen> let me know :)
cole-h has joined #nixos-dev
rj has joined #nixos-dev
<abathur> gchristensen: it ran clean; here's the macOS install https://github.com/abathur/nix/runs/2469712006?check_suite_focus=true
LinuxHackerman has quit [Ping timeout: 245 seconds]
kalbasit[m] has quit [Ping timeout: 245 seconds]
vaibhavsagar has quit [Ping timeout: 245 seconds]
LinuxHackerman has joined #nixos-dev
<sterni> Ericson2314: okay I'm through, sorry it took so long, I don't think I noticed anything major
thefloweringash has quit [Ping timeout: 245 seconds]
<Ericson2314> sterni no worries at all. Thanks so much!
kalbasit[m] has joined #nixos-dev
vaibhavsagar has joined #nixos-dev
thefloweringash has joined #nixos-dev
<sterni> I wonder if we can refactor some of the llvmPackages to use generic derivation expressions
tomberek has joined #nixos-dev
<sterni> especially for some of the libraries at least for some version ranges they are very similar
<sterni> I can imagine that this would make such large scale changes much easier in the future
<sterni> of course the exrpession in question would probably be an lib.optional* mess to a certain extent
<qyliss> Ericson2314: turns out NetBSD 8.0 doesn't support aarch64 at all, so I can't test binaries on my new NetBSD laptop
<qyliss> so I think upgrading to 9.x will have to come before getting dynamically linked binaries to run
<Ericson2314> qyliss ok well then to dust off that commit then. I hope now that it's working it will be far easier than my hail mary version bump when it wasn't.
<qyliss> Ericson2314: do you want to bump everything in your PR to 9.1, or shall I?
<Ericson2314> qyliss I don't *want* so be my guest but I can do it if you are busy too
<qyliss> Ericson2314: tbh I'm looking for a distraction
<Ericson2314> Well I think I'm due to get back on task so sure go ahead
orivej has quit [Ping timeout: 252 seconds]
orivej has joined #nixos-dev
__monty__ has joined #nixos-dev
winterqt_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
winterqt has joined #nixos-dev
rj has quit [Remote host closed the connection]
rj has joined #nixos-dev
<abathur> If anyone could use some glory: I think the merge of nix#4289 lights a path to full uninstall/reinstall support. I can't pursue it any time soon, but I'm happy to discuss as needed. I wrote a proof-of-concept this fall that may be reheatable as a starting point.
<{^_^}> https://github.com/NixOS/nix/pull/4289 (by abathur, 21 weeks ago, merged): darwin: encrypt nix volume if filevault is enabled
__monty__ has quit [Quit: leaving]
<qyliss> Ericson2314: pushed the version+hash changes, but can't get past rpcgen when actually building stuff
<Ericson2314> qyliss: hmm ok
supersandro2000 is now known as Guest52438
Guest52438 has quit [Killed (hitchcock.freenode.net (Nickname regained by services))]
supersandro2000 has joined #nixos-dev
<{^_^}> #120785 (by ivan, 3 days ago, open): Fix grab-site and python3Packages.lmdb