00:18
drakonis_ has joined #nixos-dev
00:19
Drakonis__ has joined #nixos-dev
00:22
drakonis has quit [Ping timeout: 256 seconds]
00:32
Drakonis__ has quit [Quit: Leaving]
00:33
drakonis has joined #nixos-dev
01:10
betawaffle has quit [Ping timeout: 260 seconds]
01:12
angerman has quit [Read error: Connection reset by peer]
01:12
emilazy has quit [Ping timeout: 246 seconds]
01:14
angerman has joined #nixos-dev
01:15
drakonis1 has joined #nixos-dev
01:16
emilazy has joined #nixos-dev
01:16
georgyo has quit [Ping timeout: 240 seconds]
01:16
drakonis_ has quit [Read error: Connection reset by peer]
01:17
drakonis2 has joined #nixos-dev
01:19
claudiii_ has quit [Ping timeout: 246 seconds]
01:20
drakonis1 has quit [Ping timeout: 260 seconds]
01:22
betawaffle has joined #nixos-dev
01:22
georgyo has joined #nixos-dev
01:23
claudiii_ has joined #nixos-dev
01:23
angerman has quit [Ping timeout: 256 seconds]
01:24
angerman has joined #nixos-dev
02:22
orivej has joined #nixos-dev
02:31
ryantrinkle has joined #nixos-dev
02:32
orivej has quit [Ping timeout: 246 seconds]
02:33
orivej has joined #nixos-dev
02:54
orivej has quit [Quit: No Ping reply in 180 seconds.]
02:55
orivej has joined #nixos-dev
02:57
drakonis2 has quit [Ping timeout: 264 seconds]
03:05
drakonis2 has joined #nixos-dev
03:15
cole-h has quit [Ping timeout: 264 seconds]
03:17
cole-h has joined #nixos-dev
03:44
orivej has quit [Ping timeout: 246 seconds]
03:45
orivej has joined #nixos-dev
03:53
orivej has quit [Ping timeout: 240 seconds]
03:54
orivej has joined #nixos-dev
03:59
drakonis2 has quit [Read error: Connection reset by peer]
03:59
drakonis1 has joined #nixos-dev
04:12
orivej has quit [Ping timeout: 264 seconds]
04:12
orivej has joined #nixos-dev
04:20
orivej has quit [Ping timeout: 264 seconds]
04:21
orivej has joined #nixos-dev
04:37
orivej has quit [Ping timeout: 264 seconds]
04:37
orivej_ has joined #nixos-dev
04:46
orivej_ has quit [Ping timeout: 260 seconds]
04:46
orivej has joined #nixos-dev
05:12
orivej has quit [Ping timeout: 258 seconds]
05:12
orivej has joined #nixos-dev
05:17
drakonis has quit [Read error: Connection reset by peer]
05:18
fps has joined #nixos-dev
05:25
orivej has quit [Ping timeout: 256 seconds]
05:26
orivej has joined #nixos-dev
05:34
orivej has quit [Ping timeout: 260 seconds]
05:35
orivej has joined #nixos-dev
05:43
orivej has quit [Ping timeout: 258 seconds]
05:43
orivej has joined #nixos-dev
06:15
alp has joined #nixos-dev
06:29
rajivr has joined #nixos-dev
06:49
orivej has quit [Ping timeout: 240 seconds]
06:50
orivej has joined #nixos-dev
07:12
cole-h has quit [Quit: Goodbye]
07:15
orivej_ has joined #nixos-dev
07:15
orivej has quit [Ping timeout: 264 seconds]
07:20
andi- has quit [Ping timeout: 260 seconds]
07:25
orivej_ has quit [Ping timeout: 260 seconds]
07:25
orivej has joined #nixos-dev
07:29
Shados has quit [Quit: Shados]
07:44
Shados has joined #nixos-dev
07:49
orivej has quit [Ping timeout: 258 seconds]
07:49
orivej has joined #nixos-dev
07:53
lopsided98 has quit [Quit: No Ping reply in 180 seconds.]
07:55
lopsided98 has joined #nixos-dev
08:05
teto has joined #nixos-dev
08:17
alp has quit [Ping timeout: 272 seconds]
08:27
__monty__ has joined #nixos-dev
08:32
Cale has quit [Ping timeout: 256 seconds]
08:45
alp has joined #nixos-dev
08:52
Cale has joined #nixos-dev
08:53
<
asymmetric >
but not anymore
08:53
<
asymmetric >
this could be useful for travis and other ci setups to get the latest version
08:53
<
asymmetric >
any idea why it was removed?
08:55
asymmetric has left #nixos-dev ["Leaving"]
08:56
asymmetric has joined #nixos-dev
08:56
<
eyJhb >
Can't that be used
08:56
<
asymmetric >
ah yes, thx
08:57
<
eyJhb >
And that might be the reason that what asymmetric said does not work
09:02
orivej has quit [Ping timeout: 246 seconds]
09:02
orivej has joined #nixos-dev
09:05
julm has quit [Ping timeout: 258 seconds]
09:12
julm has joined #nixos-dev
09:25
orivej has quit [Ping timeout: 246 seconds]
09:25
orivej has joined #nixos-dev
09:40
<
manveru >
damn flakes are so neat :)
09:43
<
{^_^} >
nixops#1365 (by adisbladis, 22 hours ago, merged): Flake support
09:44
<
manveru >
i am atm combining flakes with terranix :)
09:45
orivej has quit [Ping timeout: 260 seconds]
09:46
orivej has joined #nixos-dev
09:53
FRidh has joined #nixos-dev
09:54
<
manveru >
guess i gotta step up my game to make it as pretty as that...
10:02
orivej has quit [Ping timeout: 258 seconds]
10:02
orivej has joined #nixos-dev
10:10
<
rnhmjoj >
do you have any idea why in a NixOS test `machine.screenshot()` shows a black screen with blinking cursor instead of the bootloader (grub) screen?
10:12
<
rnhmjoj >
this is foiling my attempts of testing grub password protection
10:23
orivej has quit [Quit: No Ping reply in 180 seconds.]
10:24
orivej has joined #nixos-dev
10:29
andi- has joined #nixos-dev
10:37
<
rnhmjoj >
ironically, i can see grub on the (serial?) console output
10:46
<
srk >
rnhmjoj: maybe /boot/grub/grub.cfg needs adjusting a bit to handle vm graphics, it does some graphics init at start
10:47
zarel has quit [Ping timeout: 256 seconds]
10:48
zarel has joined #nixos-dev
10:49
<
rnhmjoj >
srk: i wonder if i could just use the console output and implement a `wait_for_console_text`
10:54
orivej has quit [Ping timeout: 256 seconds]
10:56
orivej has joined #nixos-dev
10:57
<
srk >
rnhmjoj: yup, sounds better than doing OCR
10:58
<
srk >
there's machine.shell already used by .execute su it shouldn't be that hard
10:58
<
rnhmjoj >
srk: thanks, i take a look
10:59
<
clever >
rnhmjoj: in linux, you can also read the text consoles in /dev/
10:59
<
clever >
[root@system76:~]# hexdump -C /dev/vcs1
10:59
<
clever >
rnhmjoj: i believe this contains the full text from tty1
11:18
orivej has quit [Ping timeout: 246 seconds]
11:18
drakonis has joined #nixos-dev
11:18
orivej has joined #nixos-dev
11:21
drakonis1 has quit [Ping timeout: 264 seconds]
11:24
<
domenkozar[m] >
what kind of anti-patterns have you noticed in Nix language?
11:24
evanjs has quit [Read error: Connection reset by peer]
11:26
<
Profpatsch >
domenkozar[m]: `rec {}` in any form
11:26
<
Profpatsch >
`with` in any form
11:28
drakonis_ has joined #nixos-dev
11:29
evanjs has joined #nixos-dev
11:31
drakonis has quit [Ping timeout: 256 seconds]
11:41
<
adisbladis >
What Profpatsch said :)
11:45
<
rnhmjoj >
clever: thank you, i didn't know about /dev/vcs1
11:46
alp has quit [Ping timeout: 272 seconds]
11:49
alp has joined #nixos-dev
11:54
<
kloenk >
The new nix-command feature has some sort of plugins. Does anybody have an example plugin?
11:57
Jackneill has quit [Ping timeout: 256 seconds]
11:58
Jackneill has joined #nixos-dev
12:00
<
domenkozar[m] >
I agree about rec :)
12:03
<
gchristensen >
domenkozar[m]: trying to do /everything/ with nix
12:07
orivej has quit [Ping timeout: 256 seconds]
12:07
FRidh has quit [Ping timeout: 258 seconds]
12:07
orivej has joined #nixos-dev
12:08
FRidh has joined #nixos-dev
12:16
FRidh has quit [Quit: Konversation terminated!]
12:16
FRidh has joined #nixos-dev
12:23
orivej has quit [Ping timeout: 256 seconds]
12:23
orivej_ has joined #nixos-dev
12:25
<
domenkozar[m] >
right now I'm focused only on the language
12:27
<
srk >
what's wrong with rec? :)
12:27
<
adisbladis >
srk: It's counter intuitive, especially around overrides.
12:28
<
srk >
hmm, ok. but fixed points are kind-of first class nix citizen
12:28
<
adisbladis >
drv = (mkDerivation rec { name = "${pname}-${version}"; pname = "hello"; version = "1.0"; })
12:28
<
adisbladis >
drv.overrideAttrs(old: { version = "1.1"; })
12:28
<
adisbladis >
Will not override name
12:29
<
kloenk >
I once saw rec in an flake output function. Just there because we do it everywhere
12:29
<
srk >
adisbladis: thanks, makes sense
12:30
<
adisbladis >
srk: It's pretty much equivalent to `let pname = "hello"; version = "1.0"; in (mkDerivation { name = "${pname}-${version}"; }) ` anyway
12:30
<
adisbladis >
In the `let` version I think the override behaviour is more obvious
12:31
orivej_ has quit [Ping timeout: 256 seconds]
12:31
orivej has joined #nixos-dev
12:32
<
Profpatsch >
srk: rec is a superfluous language feature.
12:32
<
Profpatsch >
It can be completely replaced by `let`
12:32
<
Profpatsch >
In addition, it makes it too easy to introduce recursion with the wrong shadowing.
12:33
<
Profpatsch >
Also, it conflates symbols with attribute names
12:33
<
Profpatsch >
A stray `rec` has fouled many a day
12:33
* Profpatsch
is firmly in the “distinguish let and letrec” camp by now
12:34
<
adisbladis >
"A stray `rec` has fouled many a day" :D
12:35
<
adisbladis >
I remember `rec` being a great source of confusion for me while finding my way in the nix ecosystem
12:35
<
adisbladis >
It didn't behave at all the way I thought it would.
12:36
<
Profpatsch >
… until you found how `let` and `with` interact? :)
12:36
<
adisbladis >
Profpatsch: I've taken to calling `rec` "syntactically dishonest"
12:36
<
Profpatsch >
okay listen guyse, how about we remove let and rec and just use with everywhere
12:37
<
adisbladis >
with is also evil :/
12:37
<
Profpatsch >
And have a special `with` form which makes it possible to recursively define what you put implicitly in scope!
12:38
<
Profpatsch >
one keyword to rule them all
12:38
<
kloenk >
adisbladis: with can be helpfull. but only if you put it on only one array like packages
12:38
<
Profpatsch >
Okay, this is approaching Scala levels of implicit absurdity, gonna stop.
12:41
<
NinjaTrappeur >
domenkozar[m]: nix directly tied to the language, but abusing FOD is a pretty severe anti-pattern.
12:41
<
domenkozar[m] >
FOD?
12:42
<
NinjaTrappeur >
+1 for the "with" argument.
12:42
<
NinjaTrappeur >
sorry, Fixed Output Derivation
12:42
<
adisbladis >
domenkozar[m]: Fixed-output derivations
12:42
<
domenkozar[m] >
NinjaTrappeur: that sounds more like design pitfals
12:42
<
domenkozar[m] >
rather than anti-patterns
12:43
<
domenkozar[m] >
those are meant to help the user be better at Nix and avoid traps
12:43
<
domenkozar[m] >
vs what would I do if I designed Nix again
12:43
<
domenkozar[m] >
different audience :)
12:43
orivej_ has joined #nixos-dev
12:43
<
adisbladis >
domenkozar[m]: Hmm, who is your target audience?
12:43
<
gchristensen >
okay but are you taking these as notes for later? :P
12:44
orivej has quit [Ping timeout: 264 seconds]
12:44
<
adisbladis >
Abusing FODs are not really a language anti-pattern. But it's becoming more and more common in nixpkgs.
12:46
<
NinjaTrappeur >
right :)
12:46
<
NinjaTrappeur >
I'dd add the // operator
12:46
<
adisbladis >
How so ?
12:46
<
NinjaTrappeur >
it does not perform a deep merge by default, it bite me up quite a few times.
12:47
<
NinjaTrappeur >
*bit me up
12:47
<
domenkozar[m] >
Good point :)
12:47
das_j has joined #nixos-dev
12:47
ajs124 has joined #nixos-dev
12:47
Scriptkiddi has joined #nixos-dev
12:47
<
domenkozar[m] >
oh an nested quotes!
12:52
<
{^_^} >
domenkozar/nix.dev#31 (by domenkozar, 4 minutes ago, open): Anti pattern: // operator
12:52
<
{^_^} >
domenkozar/nix.dev#32 (by domenkozar, 3 minutes ago, open): Anti pattern: nesting multi-line quotations
12:54
orivej_ has quit [Quit: No Ping reply in 180 seconds.]
12:56
orivej has joined #nixos-dev
13:00
justanotheruser has quit [Ping timeout: 272 seconds]
13:12
<
Profpatsch >
NinjaTrappeur: If you are going to suggest lenses I’m gonna hit you :)
13:13
<
Profpatsch >
Dhall has the very nice /\ operator which merges structs recursively
13:15
<
Profpatsch >
> printf '{ a = { b = 42 } } /\ { a = { c = 23 } }' | dhall
13:15
<
{^_^} >
error: syntax error, unexpected $undefined, expecting ')', at (string):316:8
13:15
<
Profpatsch >
{ a = { b = 42, c = 23 } }
13:15
<
Profpatsch >
however: > printf '{ a = { b = 42 } } /\ { a = {} }' | dhall
13:15
<
Profpatsch >
Error: Field collision on: a
13:15
<
Profpatsch >
1│ /\ { a = {} }
13:16
<
Profpatsch >
ah lol, I’m dumb, {} is the empty record type, {=} is the empty record
13:16
<
Profpatsch >
> printf '{ a = { b = 42 } } /\ { a = {=} }' | dhall
13:16
<
{^_^} >
error: syntax error, unexpected $undefined, expecting ')', at (string):316:8
13:16
<
Profpatsch >
{ a.b = 42 }
13:16
<
Profpatsch >
Better example of not merging scalars: > printf '{ a = { b = 42 } } /\ { a = 23 }' | dhall
13:16
<
Profpatsch >
Error: Field collision on: a
13:17
<
Profpatsch >
1│ /\ { a = 23 }
13:18
<
NinjaTrappeur >
aha
13:20
<
NinjaTrappeur >
nix-repl> lib.recursiveUpdate { a = { b = 42; }; } { a = 42; }
13:20
<
NinjaTrappeur >
{ a = 42; }
13:20
<
NinjaTrappeur >
oops
13:20
<
NinjaTrappeur >
oh, no nevermind, it make sense
13:21
<
NinjaTrappeur >
"The recursion stops when one of the attribute values is not an attribute set, in which case the right hand side value takes precedence over the left hand side value. "
13:21
<
Profpatsch >
yeah, for varying definitions of “sense” :)
13:21
<
NinjaTrappeur >
yeah
13:21
<
NinjaTrappeur >
as alway
13:22
orivej has quit [Quit: No Ping reply in 180 seconds.]
13:23
orivej has joined #nixos-dev
13:29
orivej has quit [Ping timeout: 246 seconds]
13:33
justanotheruser has joined #nixos-dev
13:47
<
{^_^} >
domenkozar/nix.dev#33 (by domenkozar, 1 minute ago, open): Add rec anti pattern
14:08
Jackneill has quit [Ping timeout: 256 seconds]
14:20
Jackneill has joined #nixos-dev
14:28
rajivr has quit [Quit: Connection closed for inactivity]
14:44
orivej has joined #nixos-dev
14:57
<
{^_^} >
domenkozar/nix.dev#34 (by domenkozar, 3 minutes ago, open): <nixpkgs> anti pattern
14:59
<
mdlayher >
hey all! i'm going live at
https://twitch.tv/mdlayher to work on a NixOS channel metadata Prometheus exporter in Go that could be used to power status.nixos.org! feel free to stop by and chat!
15:05
drakonis has joined #nixos-dev
15:07
<
gchristensen >
mdlayher++
15:07
<
{^_^} >
mdlayher's karma got increased to 1
15:08
drakonis1 has joined #nixos-dev
15:09
drakonis_ has quit [Read error: Connection reset by peer]
15:12
drakonis has quit [Ping timeout: 272 seconds]
15:14
evanjs has quit [Read error: Connection reset by peer]
15:16
evanjs has joined #nixos-dev
15:25
drakonis has joined #nixos-dev
15:28
drakonis1 has quit [Ping timeout: 246 seconds]
15:29
orivej has quit [Ping timeout: 264 seconds]
15:34
drakonis_ has joined #nixos-dev
15:35
drakonis has quit [Ping timeout: 272 seconds]
15:40
orivej has joined #nixos-dev
15:47
alp has quit [Ping timeout: 272 seconds]
16:07
<
Ericson2314 >
anyone aware of problem with `nix copy` on darwin?
16:19
<
{^_^} >
nix#3372 (by lheckemann, 15 weeks ago, open): ssh-ng:// much slower for copying than ssh://
16:19
<
Ericson2314 >
kloenk: this is just one machine file://
16:27
orivej has quit [Ping timeout: 256 seconds]
16:28
orivej has joined #nixos-dev
16:28
<
Profpatsch >
domenkozar[m]: lgtm
16:28
<
Profpatsch >
One thing that is a bit confusing is that the big page title is “Nix Configuration Language”
16:28
<
Profpatsch >
But this is about pitfalls
16:46
zarel has quit [Ping timeout: 240 seconds]
16:47
zarel has joined #nixos-dev
17:00
alp has joined #nixos-dev
17:01
zarel has joined #nixos-dev
17:10
teto has quit [Quit: WeeChat 2.8]
17:20
orivej has quit [Ping timeout: 260 seconds]
17:20
orivej has joined #nixos-dev
17:22
<
abathur >
Ericson2314: by problem, you do mean that it's slow as in the issue? not working at all?
17:28
<
Ericson2314 >
abathur: it apprently fails trying to delete temp files taht don't exist
17:37
<
abathur >
no good answer as I've never used nix copy; but I had a thought if it was just slow :P
17:37
<
Ericson2314 >
abathur: thanks anyways
17:37
<
Ericson2314 >
saw the problem on linux too, so maybe it won't be so bad to debug
17:47
cole-h has joined #nixos-dev
17:47
zarel has quit [Ping timeout: 264 seconds]
17:47
zarel has joined #nixos-dev
17:54
justanotheruser has quit [Ping timeout: 256 seconds]
18:00
drakonis has joined #nixos-dev
18:02
alp has quit [Ping timeout: 272 seconds]
18:07
<
mdlayher >
here's what i came up with today. it's not done yet but i just wrapped my stream because i have to take off for a while
18:07
<
mdlayher >
let me know what you think and feel free to open issues, thanks!
18:07
orivej has quit [Ping timeout: 256 seconds]
18:07
orivej_ has joined #nixos-dev
18:09
justanotheruser has joined #nixos-dev
18:24
MichaelRaskin has joined #nixos-dev
18:29
teto has joined #nixos-dev
18:42
alp has joined #nixos-dev
18:54
greizgh has quit [Quit: greizgh]
18:55
greizgh has joined #nixos-dev
19:03
orivej_ has quit [Ping timeout: 246 seconds]
19:04
orivej has joined #nixos-dev
19:24
orivej has quit [Quit: No Ping reply in 180 seconds.]
19:25
orivej has joined #nixos-dev
19:33
alp has quit [Ping timeout: 272 seconds]
19:34
drakonis_ has quit [Ping timeout: 264 seconds]
19:41
orivej has quit [Ping timeout: 246 seconds]
19:42
orivej has joined #nixos-dev
19:42
drakonis_ has joined #nixos-dev
19:45
luc65r has joined #nixos-dev
19:49
<
{^_^} >
#89793 (by luc65r, 4 days ago, open): Bump gcc to gcc10 and binutils to 2.34
19:49
<
luc65r >
Most of the services (like journalctl) fail with code 127
19:50
orivej has quit [Ping timeout: 264 seconds]
19:50
<
luc65r >
But I can launch them manually without any problem
19:50
<
luc65r >
Does any have an idea of what is going on?
19:53
orivej has joined #nixos-dev
20:06
das_j has quit [Quit: killed]
20:06
ajs124 has quit [Quit: killed]
20:06
Scriptkiddi has quit [Quit: killed]
20:07
Scriptkiddi has joined #nixos-dev
20:07
ajs124 has joined #nixos-dev
20:07
das_j has joined #nixos-dev
20:12
luc65r has quit [Remote host closed the connection]
20:12
luc65r has joined #nixos-dev
20:23
janneke_ has joined #nixos-dev
20:25
janneke_ is now known as janneke`
20:25
orivej has quit [Ping timeout: 246 seconds]
20:25
orivej_ has joined #nixos-dev
20:27
janneke has quit [Ping timeout: 272 seconds]
20:51
orivej_ has quit [Ping timeout: 260 seconds]
20:59
FRidh has quit [Quit: Konversation terminated!]
21:05
alp has joined #nixos-dev
21:29
tokudan has quit [Remote host closed the connection]
21:32
tokudan has joined #nixos-dev
21:45
luc65r has quit [Read error: Connection reset by peer]
21:45
luc65r has joined #nixos-dev
21:46
luc65r has quit [Client Quit]
21:47
janneke` is now known as janneke
22:00
globin has joined #nixos-dev
22:05
justanotheruser has quit [Ping timeout: 264 seconds]
22:18
__monty__ has quit [Quit: leaving]
22:22
Jackneill has quit [Ping timeout: 240 seconds]
22:36
Jackneill has joined #nixos-dev
22:41
alp has quit [Ping timeout: 272 seconds]
22:45
alp has joined #nixos-dev
22:58
julm has quit [Ping timeout: 258 seconds]
23:01
drakonis1 has joined #nixos-dev
23:04
drakonis_ has quit [Read error: Connection reset by peer]
23:05
drakonis2 has joined #nixos-dev
23:05
julm has joined #nixos-dev
23:08
drakonis1 has quit [Ping timeout: 272 seconds]
23:13
alp has quit [Remote host closed the connection]
23:13
alp has joined #nixos-dev
23:14
alp has quit [Remote host closed the connection]
23:15
alp has joined #nixos-dev
23:15
drakonis_ has joined #nixos-dev
23:18
drakonis2 has quit [Ping timeout: 246 seconds]
23:31
justanotheruser has joined #nixos-dev
23:39
drakonis1 has joined #nixos-dev
23:41
drakonis_ has quit [Ping timeout: 260 seconds]
23:46
alp has quit [Ping timeout: 272 seconds]
23:57
justanotheruser has quit [Ping timeout: 240 seconds]