#nixos-dev on 2020-07-25

2020-04-21 00:01 worldofpeace_ changed the topic of #nixos-dev to: #nixos-dev NixOS Development (#nixos for questions) | NixOS stable: 20.03 ✨ https://discourse.nixos.org/t/nixos-20-03-release/6785 | https://hydra.nixos.org/jobset/nixos/trunk-combined https://channels.nix.gsc.io/graph.html | https://r13y.com | 19.09 RMs: disasm, sphalerite; 20.03: worldofpeace, disasm | https://logs.nix.samueldr.com/nixos-dev

00:12 orivej has quit [Quit: No Ping reply in 180 seconds.]

00:13 orivej has joined #nixos-dev

00:24 <{^_^}> firing: RootPartitionLowInodes: https://status.nixos.org/prometheus/alerts

00:29 justanotheruser has joined #nixos-dev

00:31 orivej has quit [Quit: No Ping reply in 180 seconds.]

00:32 orivej has joined #nixos-dev

00:54 <zowoq[m]> https://nix.dev/anti-patterns/index.html was referenced during a PR review, https://github.com/NixOS/nixpkgs/pull/93296

00:54 <{^_^}> #93296 (by numkem, 1 week ago, open): ugrep: init at 2.4.1

00:54 <zowoq[m]> Also discussed in https://discourse.nixos.org/t/avoid-rec-expresions-in-nixpkgs/8293

01:16 orivej has quit [Ping timeout: 244 seconds]

01:17 orivej has joined #nixos-dev

01:20 Emantor has quit [Quit: ZNC - http://znc.in]

01:23 Emantor has joined #nixos-dev

01:28 noonien has quit [Quit: Connection closed for inactivity]

01:29 orivej has quit [Quit: No Ping reply in 180 seconds.]

01:30 orivej has joined #nixos-dev

01:31 ivan_ has joined #nixos-dev

01:33 ivan has quit [Remote host closed the connection]

01:33 harrow has quit [Quit: Leaving]

01:36 ivan_ is now known as ivan

01:37 harrow has joined #nixos-dev

01:40 orivej has quit [Ping timeout: 260 seconds]

01:40 orivej has joined #nixos-dev

01:49 orivej has quit [Ping timeout: 240 seconds]

01:49 orivej has joined #nixos-dev

02:08 Emantor has quit [*.net *.split]

02:08 evanjs has quit [*.net *.split]

02:08 justanotheruser has quit [*.net *.split]

02:08 harrow has quit [*.net *.split]

02:08 johanot has quit [*.net *.split]

02:08 MichaelRaskin has quit [*.net *.split]

02:08 dongcarl has quit [*.net *.split]

02:08 m1cr0man has quit [*.net *.split]

02:08 hplar has quit [*.net *.split]

02:08 xwvvvvwx has quit [*.net *.split]

02:08 tilpner has quit [*.net *.split]

02:08 Taneb has quit [*.net *.split]

02:08 danderson has quit [*.net *.split]

02:08 tv has quit [*.net *.split]

02:08 evils has quit [*.net *.split]

02:08 Bunogi has quit [*.net *.split]

02:08 Jackneill has quit [*.net *.split]

02:08 bridge[evilred] has quit [*.net *.split]

02:08 Scriptkiddi has quit [*.net *.split]

02:08 ris has quit [*.net *.split]

02:08 edef has quit [*.net *.split]

02:08 arianvp has quit [*.net *.split]

02:08 _e has quit [*.net *.split]

02:08 urkk has quit [*.net *.split]

02:08 adisbladis has quit [*.net *.split]

02:08 delroth has quit [*.net *.split]

02:08 pbogdan has quit [*.net *.split]

02:08 drakonis has quit [*.net *.split]

02:08 tetdim has quit [*.net *.split]

02:08 jkkm has quit [*.net *.split]

02:08 thonkpod has quit [*.net *.split]

02:08 tokudan has quit [*.net *.split]

02:08 dmj` has quit [*.net *.split]

02:08 sphalerite has quit [*.net *.split]

02:08 hexa- has quit [*.net *.split]

02:08 aria has quit [*.net *.split]

02:08 tazjin has quit [*.net *.split]

02:08 Raito_Bezarius has quit [*.net *.split]

02:08 cbarrett has quit [*.net *.split]

02:08 zimbatm has quit [*.net *.split]

02:08 teozkr_ has quit [*.net *.split]

02:08 angerman has quit [*.net *.split]

02:08 spacekookie has quit [*.net *.split]

02:08 ky0ko has quit [*.net *.split]

02:08 bgamari has quit [*.net *.split]

02:08 gchristensen has quit [*.net *.split]

02:08 samueldr has quit [*.net *.split]

02:08 obadz has quit [*.net *.split]

02:08 johnny101 has quit [*.net *.split]

02:08 cptchaos83 has quit [*.net *.split]

02:08 Gaelan has quit [*.net *.split]

02:08 asymmetric has quit [*.net *.split]

02:08 eyJhb has quit [*.net *.split]

02:08 avn has quit [*.net *.split]

02:08 puck has quit [*.net *.split]

02:08 lewo has quit [*.net *.split]

02:08 pie_ has quit [*.net *.split]

02:08 Ericson2314 has quit [*.net *.split]

02:08 alexarice[m] has quit [*.net *.split]

02:08 timokau[m] has quit [*.net *.split]

02:08 thefloweringash has quit [*.net *.split]

02:08 roberth has quit [*.net *.split]

02:08 Dandellion has quit [*.net *.split]

02:08 aanderse has quit [*.net *.split]

02:08 talyz has quit [*.net *.split]

02:08 dottedmag has quit [*.net *.split]

02:08 ChanServ has quit [*.net *.split]

02:08 ryantm has quit [*.net *.split]

02:08 cstrahan has quit [*.net *.split]

02:08 feepo has quit [*.net *.split]

02:08 colemickens has quit [*.net *.split]

02:08 gleber has quit [*.net *.split]

02:08 sdier has quit [*.net *.split]

02:08 evax has quit [*.net *.split]

02:08 kloenk has quit [*.net *.split]

02:08 risson has quit [*.net *.split]

02:08 NinjaTrappeur has quit [*.net *.split]

02:08 tom39291 has quit [*.net *.split]

02:08 orivej has quit [*.net *.split]

02:08 averell has quit [*.net *.split]

02:08 disasm has quit [*.net *.split]

02:08 marek has quit [*.net *.split]

02:08 callahad87074 has quit [*.net *.split]

02:08 edwtjo has quit [*.net *.split]

02:08 cransom has quit [*.net *.split]

02:08 ericnoan has quit [*.net *.split]

02:08 nbp has quit [*.net *.split]

02:08 FireFly has quit [*.net *.split]

02:08 aminechikhaoui has quit [*.net *.split]

02:08 srk has quit [*.net *.split]

02:08 hyperfekt has quit [*.net *.split]

02:10 evanjs has joined #nixos-dev

02:10 johanot has joined #nixos-dev

02:10 justanotheruser has joined #nixos-dev

02:10 Emantor has joined #nixos-dev

02:10 harrow has joined #nixos-dev

02:11 cstrahan has joined #nixos-dev

02:11 feepo has joined #nixos-dev

02:11 worldofpeace has quit [Remote host closed the connection]

02:11 doronbehar has quit [Read error: Connection reset by peer]

02:11 Ox4A6F has quit [Read error: Connection reset by peer]

02:11 domenkozar[m] has quit [Remote host closed the connection]

02:11 enick_401 has quit [Remote host closed the connection]

02:11 Irenes[m] has quit [Read error: Connection reset by peer]

02:11 Valodim[m] has quit [Read error: Connection reset by peer]

02:11 codyopel has quit [Write error: Broken pipe]

02:11 jonge[m] has quit [Remote host closed the connection]

02:11 michaelpj has quit [Remote host closed the connection]

02:11 regnat has quit [Remote host closed the connection]

02:11 rycee has quit [Remote host closed the connection]

02:11 ma27[m] has quit [Remote host closed the connection]

02:11 danielrf[m] has quit [Write error: Connection reset by peer]

02:11 vaibhavsagar has quit [Remote host closed the connection]

02:11 jtojnar has quit [Read error: Connection reset by peer]

02:11 DamienCassou has quit [Remote host closed the connection]

02:11 freeman42x[m] has quit [Remote host closed the connection]

02:11 rnhmjoj has quit [Remote host closed the connection]

02:11 zowoq[m] has quit [Write error: Connection reset by peer]

02:11 JJJollyjim has quit [Write error: Connection reset by peer]

02:11 puzzlewolf has quit [Read error: Connection reset by peer]

02:11 matthewbauer has quit [Write error: Connection reset by peer]

02:11 arcnmx has quit [Write error: Connection reset by peer]

02:11 theotherjimmy[m] has quit [Remote host closed the connection]

02:11 tokudan[m] has quit [Write error: Connection reset by peer]

02:12 Bunogi has joined #nixos-dev

02:12 bridge[evilred] has joined #nixos-dev

02:12 evils has joined #nixos-dev

02:13 obadz has joined #nixos-dev

02:13 danderson has joined #nixos-dev

02:13 johnny101 has joined #nixos-dev

02:13 Taneb has joined #nixos-dev

02:13 tv has joined #nixos-dev

02:13 cptchaos83 has joined #nixos-dev

02:13 Gaelan has joined #nixos-dev

02:13 xwvvvvwx has joined #nixos-dev

02:13 hplar has joined #nixos-dev

02:13 asymmetric has joined #nixos-dev

02:13 tilpner has joined #nixos-dev

02:13 m1cr0man has joined #nixos-dev

02:13 callahad87074 has joined #nixos-dev

02:13 eyJhb has joined #nixos-dev

02:13 disasm has joined #nixos-dev

02:13 talyz has joined #nixos-dev

02:13 averell has joined #nixos-dev

02:13 MichaelRaskin has joined #nixos-dev

02:13 nbp has joined #nixos-dev

02:13 ChanServ has joined #nixos-dev

02:13 dottedmag has joined #nixos-dev

02:13 dongcarl has joined #nixos-dev

02:13 edwtjo has joined #nixos-dev

02:13 marek has joined #nixos-dev

02:13 FireFly has joined #nixos-dev

02:13 aminechikhaoui has joined #nixos-dev

02:13 hyperfekt has joined #nixos-dev

02:13 srk has joined #nixos-dev

02:13 ericnoan has joined #nixos-dev

02:13 cransom has joined #nixos-dev

02:13 avn has joined #nixos-dev

02:13 pie_ has joined #nixos-dev

02:13 lewo has joined #nixos-dev

02:13 NinjaTrappeur has joined #nixos-dev

02:13 risson has joined #nixos-dev

02:13 tom39291 has joined #nixos-dev

02:13 kloenk has joined #nixos-dev

02:13 evax has joined #nixos-dev

02:13 sdier has joined #nixos-dev

02:13 gleber has joined #nixos-dev

02:14 sphalerite has joined #nixos-dev

02:14 aria has joined #nixos-dev

02:14 cbarrett has joined #nixos-dev

02:14 hexa- has joined #nixos-dev

02:14 dmj` has joined #nixos-dev

02:14 tokudan has joined #nixos-dev

02:14 tazjin has joined #nixos-dev

02:14 zimbatm has joined #nixos-dev

02:14 Raito_Bezarius has joined #nixos-dev

02:14 ky0ko has joined #nixos-dev

02:14 spacekookie has joined #nixos-dev

02:14 jkkm has joined #nixos-dev

02:14 teozkr_ has joined #nixos-dev

02:14 thonkpod has joined #nixos-dev

02:14 angerman has joined #nixos-dev

02:14 tetdim has joined #nixos-dev

02:14 bgamari has joined #nixos-dev

02:14 drakonis has joined #nixos-dev

02:14 samueldr has joined #nixos-dev

02:14 gchristensen has joined #nixos-dev

02:14 urkk has joined #nixos-dev

02:14 delroth has joined #nixos-dev

02:14 _e has joined #nixos-dev

02:14 edef has joined #nixos-dev

02:14 ris has joined #nixos-dev

02:14 Scriptkiddi has joined #nixos-dev

02:14 arianvp has joined #nixos-dev

02:14 pbogdan has joined #nixos-dev

02:14 adisbladis has joined #nixos-dev

02:14 Scriptkiddi has quit [*.net *.split]

02:14 ris has quit [*.net *.split]

02:14 edef has quit [*.net *.split]

02:14 arianvp has quit [*.net *.split]

02:14 _e has quit [*.net *.split]

02:14 urkk has quit [*.net *.split]

02:14 delroth has quit [*.net *.split]

02:14 adisbladis has quit [*.net *.split]

02:14 pbogdan has quit [*.net *.split]

02:14 drakonis has quit [*.net *.split]

02:14 tetdim has quit [*.net *.split]

02:14 thonkpod has quit [*.net *.split]

02:14 jkkm has quit [*.net *.split]

02:14 hexa- has quit [*.net *.split]

02:14 sphalerite has quit [*.net *.split]

02:14 dmj` has quit [*.net *.split]

02:14 tokudan has quit [*.net *.split]

02:14 tazjin has quit [*.net *.split]

02:14 cbarrett has quit [*.net *.split]

02:14 Raito_Bezarius has quit [*.net *.split]

02:14 aria has quit [*.net *.split]

02:14 zimbatm has quit [*.net *.split]

02:14 teozkr_ has quit [*.net *.split]

02:14 angerman has quit [*.net *.split]

02:14 spacekookie has quit [*.net *.split]

02:14 ky0ko has quit [*.net *.split]

02:14 bgamari has quit [*.net *.split]

02:14 gchristensen has quit [*.net *.split]

02:14 samueldr has quit [*.net *.split]

02:14 gleber has quit [*.net *.split]

02:14 sdier has quit [*.net *.split]

02:14 kloenk has quit [*.net *.split]

02:14 evax has quit [*.net *.split]

02:14 risson has quit [*.net *.split]

02:14 tom39291 has quit [*.net *.split]

02:14 NinjaTrappeur has quit [*.net *.split]

02:14 avn has quit [*.net *.split]

02:14 lewo has quit [*.net *.split]

02:14 obadz has quit [*.net *.split]

02:14 pie_ has quit [*.net *.split]

02:14 johnny101 has quit [*.net *.split]

02:14 Gaelan has quit [*.net *.split]

02:14 cptchaos83 has quit [*.net *.split]

02:14 asymmetric has quit [*.net *.split]

02:14 eyJhb has quit [*.net *.split]

02:14 dongcarl has quit [*.net *.split]

02:14 MichaelRaskin has quit [*.net *.split]

02:14 tilpner has quit [*.net *.split]

02:14 m1cr0man has quit [*.net *.split]

02:14 hplar has quit [*.net *.split]

02:14 xwvvvvwx has quit [*.net *.split]

02:14 tv has quit [*.net *.split]

02:14 danderson has quit [*.net *.split]

02:14 Taneb has quit [*.net *.split]

02:14 dottedmag has quit [*.net *.split]

02:14 talyz has quit [*.net *.split]

02:14 ChanServ has quit [*.net *.split]

02:14 averell has quit [*.net *.split]

02:14 disasm has quit [*.net *.split]

02:14 callahad87074 has quit [*.net *.split]

02:14 marek has quit [*.net *.split]

02:14 edwtjo has quit [*.net *.split]

02:14 nbp has quit [*.net *.split]

02:14 ericnoan has quit [*.net *.split]

02:14 cransom has quit [*.net *.split]

02:14 aminechikhaoui has quit [*.net *.split]

02:14 FireFly has quit [*.net *.split]

02:14 srk has quit [*.net *.split]

02:14 hyperfekt has quit [*.net *.split]

02:15 aanderse has joined #nixos-dev

02:15 kloenk has joined #nixos-dev

02:15 evax has joined #nixos-dev

02:15 sdier has joined #nixos-dev

02:15 gleber has joined #nixos-dev

02:15 NinjaTrappeur has joined #nixos-dev

02:15 risson has joined #nixos-dev

02:15 tom39291 has joined #nixos-dev

02:15 alunduil has quit [Ping timeout: 244 seconds]

02:15 nh2 has quit [Ping timeout: 244 seconds]

02:16 aanderse has quit [Changing host]

02:16 aanderse has joined #nixos-dev

02:16 gleber has quit [Ping timeout: 240 seconds]

02:16 terrorjack has quit [Ping timeout: 260 seconds]

02:16 m1cr0man has joined #nixos-dev

02:16 tilpner has joined #nixos-dev

02:16 hplar has joined #nixos-dev

02:16 tv has joined #nixos-dev

02:16 danderson has joined #nixos-dev

02:16 xwvvvvwx has joined #nixos-dev

02:16 dongcarl has joined #nixos-dev

02:16 Taneb has joined #nixos-dev

02:16 MichaelRaskin has joined #nixos-dev

02:16 feepo has quit [Max SendQ exceeded]

02:17 teehemkay has quit [Ping timeout: 244 seconds]

02:17 elvishjerricco has quit [Ping timeout: 260 seconds]

02:17 raboof has quit [Ping timeout: 260 seconds]

02:17 betawaffle has quit [Ping timeout: 256 seconds]

02:17 chrisaw has quit [Ping timeout: 244 seconds]

02:17 davidtwco has quit [Ping timeout: 244 seconds]

02:17 carter has quit [Ping timeout: 244 seconds]

02:17 dongcarl has quit [Max SendQ exceeded]

02:18 sdier has quit [Ping timeout: 254 seconds]

02:18 davidtwco has joined #nixos-dev

02:18 lewo has joined #nixos-dev

02:18 pie_ has joined #nixos-dev

02:18 avn has joined #nixos-dev

02:18 talyz has joined #nixos-dev

02:18 dottedmag has joined #nixos-dev

02:18 ChanServ has joined #nixos-dev

02:18 adisbladis has joined #nixos-dev

02:18 pbogdan has joined #nixos-dev

02:18 delroth has joined #nixos-dev

02:18 urkk has joined #nixos-dev

02:18 _e has joined #nixos-dev

02:18 arianvp has joined #nixos-dev

02:18 edef has joined #nixos-dev

02:18 ris has joined #nixos-dev

02:18 Scriptkiddi has joined #nixos-dev

02:18 chrisaw has joined #nixos-dev

02:18 chrisaw has quit [Changing host]

02:19 teehemkay has joined #nixos-dev

02:19 Gaelan has joined #nixos-dev

02:19 johnny101 has joined #nixos-dev

02:19 obadz has joined #nixos-dev

02:19 eyJhb has joined #nixos-dev

02:19 asymmetric has joined #nixos-dev

02:19 cptchaos83 has joined #nixos-dev

02:19 nbp has joined #nixos-dev

02:19 thonkpod has joined #nixos-dev

02:19 tetdim has joined #nixos-dev

02:19 tokudan has joined #nixos-dev

02:19 tazjin has joined #nixos-dev

02:19 hexa- has joined #nixos-dev

02:19 sphalerite has joined #nixos-dev

02:19 Raito_Bezarius has joined #nixos-dev

02:19 zimbatm has joined #nixos-dev

02:19 teozkr_ has joined #nixos-dev

02:19 ky0ko has joined #nixos-dev

02:19 drakonis has joined #nixos-dev

02:19 bgamari has joined #nixos-dev

02:19 spacekookie has joined #nixos-dev

02:19 samueldr has joined #nixos-dev

02:19 gchristensen has joined #nixos-dev

02:19 marek has joined #nixos-dev

02:19 nh2 has joined #nixos-dev

02:19 teehemkay has joined #nixos-dev

02:19 teehemkay has quit [Changing host]

02:19 nh2 has joined #nixos-dev

02:19 nh2 has quit [Changing host]

02:19 aria has joined #nixos-dev

02:19 aria has quit [Changing host]

02:19 cstrahan has quit [Ping timeout: 260 seconds]

02:20 sdier has joined #nixos-dev

02:20 aria has joined #nixos-dev

02:20 aria has quit [Changing host]

02:20 alunduil has joined #nixos-dev

02:20 Jackneill has joined #nixos-dev

02:20 sdier has quit [Changing host]

02:20 alunduil has joined #nixos-dev

02:20 alunduil has quit [Changing host]

02:20 sdier has joined #nixos-dev

02:20 puck has joined #nixos-dev

02:20 jkkm has joined #nixos-dev

02:20 cbarrett has joined #nixos-dev

02:21 cransom has joined #nixos-dev

02:21 ericnoan has joined #nixos-dev

02:21 edwtjo has joined #nixos-dev

02:21 callahad87074 has joined #nixos-dev

02:21 disasm has joined #nixos-dev

02:21 averell has joined #nixos-dev

02:21 hyperfekt has joined #nixos-dev

02:21 srk has joined #nixos-dev

02:21 FireFly has joined #nixos-dev

02:21 aminechikhaoui has joined #nixos-dev

02:21 carter has joined #nixos-dev

02:21 orivej has joined #nixos-dev

02:21 angerman has joined #nixos-dev

02:21 raboof has joined #nixos-dev

02:22 betawaffle has joined #nixos-dev

02:23 gleber has joined #nixos-dev

02:23 cstrahan has joined #nixos-dev

02:23 Dandellion has joined #nixos-dev

02:23 thefloweringash has joined #nixos-dev

02:23 roberth has joined #nixos-dev

02:23 rnhmjoj has joined #nixos-dev

02:23 colemickens has joined #nixos-dev

02:23 Valodim[m] has joined #nixos-dev

02:23 Guest80879 has joined #nixos-dev

02:23 DamienCassou has joined #nixos-dev

02:23 zimbatm[m] has joined #nixos-dev

02:23 puzzlewolf has joined #nixos-dev

02:23 Guest32960 has joined #nixos-dev

02:23 michaelpj has joined #nixos-dev

02:23 arcnmx has joined #nixos-dev

02:23 danielrf[m] has joined #nixos-dev

02:23 Guest60997 has joined #nixos-dev

02:23 jonge[m] has joined #nixos-dev

02:23 Ericson2314 has joined #nixos-dev

02:23 Ox4A6F has joined #nixos-dev

02:23 domenkozar[m] has joined #nixos-dev

02:23 ryantm has joined #nixos-dev

02:23 codyopel has joined #nixos-dev

02:23 timokau[m] has joined #nixos-dev

02:23 tokudan[m] has joined #nixos-dev

02:23 worldofpeace has joined #nixos-dev

02:23 freeman42x[m] has joined #nixos-dev

02:23 vaibhavsagar has joined #nixos-dev

02:23 jtojnar has joined #nixos-dev

02:23 rycee has joined #nixos-dev

02:23 matthewbauer has joined #nixos-dev

02:23 regnat has joined #nixos-dev

02:23 alexarice[m] has joined #nixos-dev

02:23 ma27[m] has joined #nixos-dev

02:23 zowoq[m] has joined #nixos-dev

02:23 doronbehar has joined #nixos-dev

02:23 theotherjimmy[m] has joined #nixos-dev

02:24 feepo has joined #nixos-dev

02:24 terrorjack has joined #nixos-dev

02:25 elvishjerricco has joined #nixos-dev

02:25 dmj` has joined #nixos-dev

02:44 andi- has quit [Remote host closed the connection]

02:46 andi- has joined #nixos-dev

03:07 orivej has quit [Ping timeout: 246 seconds]

04:29 <{^_^}> firing: RootPartitionLowInodes: https://status.nixos.org/prometheus/alerts

04:37 drakonis has quit [Quit: WeeChat 2.8]

05:01 phreedom has quit [Remote host closed the connection]

05:02 phreedom has joined #nixos-dev

05:52 octe has quit [Ping timeout: 260 seconds]

05:59 zimbatm[m] has left #nixos-dev ["Kicked by @appservice-irc:matrix.org : Idle for 30+ days"]

06:04 <jtojnar> ugh, there should really be some kind of disclaimer in the anti-patterns article

06:23 <MichaelRaskin> Indeed…

06:45 justanotheruser has quit [Ping timeout: 246 seconds]

07:19 orivej has joined #nixos-dev

07:25 <srhb> Looks like the hydra postgres is down

07:25 <srhb> "DBIx::Class::Storage::DBI::catch {...} (): DBI Connection failed: DBI connect('dbname=hydra;host=10.254.1.9;user=hydra;','',...) failed: could not connect to server: Connection refused"

07:25 orivej has quit [Ping timeout: 246 seconds]

08:07 alp_ has joined #nixos-dev

08:23 alp_ has quit [Ping timeout: 240 seconds]

08:24 alp_ has joined #nixos-dev

08:27 ehmry has joined #nixos-dev

08:34 <{^_^}> firing: RootPartitionLowInodes: https://status.nixos.org/prometheus/alerts

08:43 alp_ has quit [Ping timeout: 256 seconds]

08:49 alp_ has joined #nixos-dev

09:16 orivej has joined #nixos-dev

09:23 orivej has quit [Quit: No Ping reply in 180 seconds.]

09:24 orivej has joined #nixos-dev

09:30 alp_ has quit [Ping timeout: 246 seconds]

10:02 orivej has quit [Quit: No Ping reply in 180 seconds.]

10:03 orivej has joined #nixos-dev

10:15 orivej has quit [Ping timeout: 260 seconds]

10:16 orivej has joined #nixos-dev

10:27 orivej has quit [Ping timeout: 240 seconds]

10:28 orivej has joined #nixos-dev

10:39 orivej has quit [Quit: No Ping reply in 180 seconds.]

10:40 orivej has joined #nixos-dev

10:48 orivej has quit [Ping timeout: 256 seconds]

10:49 orivej has joined #nixos-dev

10:51 Guest60997 is now known as JJJollyjim

10:55 octe has joined #nixos-dev

11:03 orivej has quit [Quit: No Ping reply in 180 seconds.]

11:05 orivej has joined #nixos-dev

11:13 orivej has quit [Ping timeout: 240 seconds]

11:14 orivej has joined #nixos-dev

11:40 orivej has quit [Quit: No Ping reply in 180 seconds.]

11:41 orivej has joined #nixos-dev

12:06 orivej has quit [Ping timeout: 260 seconds]

12:06 orivej_ has joined #nixos-dev

12:39 <{^_^}> firing: RootPartitionLowInodes: https://status.nixos.org/prometheus/alerts

12:40 __monty__ has joined #nixos-dev

12:48 orivej_ has quit [Quit: No Ping reply in 180 seconds.]

12:49 orivej has joined #nixos-dev

13:03 orivej_ has joined #nixos-dev

13:03 orivej has quit [Ping timeout: 264 seconds]

13:10 orivej_ has quit [Quit: No Ping reply in 180 seconds.]

13:11 orivej has joined #nixos-dev

13:17 orivej has quit [Ping timeout: 246 seconds]

13:17 orivej has joined #nixos-dev

13:30 orivej has quit [Ping timeout: 256 seconds]

13:30 orivej_ has joined #nixos-dev

13:35 alp_ has joined #nixos-dev

13:44 orivej_ has quit [Ping timeout: 260 seconds]

13:44 orivej has joined #nixos-dev

13:58 orivej has quit [Ping timeout: 240 seconds]

13:58 orivej has joined #nixos-dev

14:09 alp_ has quit [Ping timeout: 246 seconds]

14:11 <kloenk> What is the use case of _nix_force_http? did not find any docu yet.

14:11 orivej has quit [Quit: No Ping reply in 180 seconds.]

14:12 orivej has joined #nixos-dev

14:21 <JJJollyjim> static bool forceHttp = getEnv("_NIX_FORCE_HTTP") == "1"; // for testing

14:30 orivej has quit [Quit: No Ping reply in 180 seconds.]

14:31 orivej has joined #nixos-dev

15:12 orivej has quit [Quit: No Ping reply in 180 seconds.]

15:13 orivej has joined #nixos-dev

15:23 orivej has quit [Quit: No Ping reply in 180 seconds.]

15:24 orivej has joined #nixos-dev

15:34 <kloenk> jjjollyjim: Thanks, missed the `// for testing`

15:47 orivej has quit [Ping timeout: 256 seconds]

15:47 orivej_ has joined #nixos-dev

15:48 justanotheruser has joined #nixos-dev

15:55 orivej_ has quit [Ping timeout: 246 seconds]

15:55 orivej has joined #nixos-dev

16:02 orivej has quit [Quit: No Ping reply in 180 seconds.]

16:04 orivej has joined #nixos-dev

16:44 <{^_^}> firing: RootPartitionLowInodes: https://status.nixos.org/prometheus/alerts

16:49 orivej has quit [Ping timeout: 256 seconds]

16:49 orivej has joined #nixos-dev

17:02 ruuda has joined #nixos-dev

17:08 ruuda has quit [Quit: ruuda]

17:11 orivej_ has joined #nixos-dev

17:13 orivej has quit [Ping timeout: 240 seconds]

17:18 noonien has joined #nixos-dev

17:27 orivej_ has quit [Ping timeout: 240 seconds]

17:35 cole-h has joined #nixos-dev

17:59 drakonis has joined #nixos-dev

18:15 <infinisil> Weird, the stale bot didn't remove the stale label after a comment was posted in https://github.com/NixOS/nixpkgs/issues/76184

18:15 <{^_^}> #76184 (by dasJ, 30 weeks ago, open): All options should have types

18:15 <infinisil> Only after another comment it did

18:50 <ajs124> so... half of nixos:unstable-small just failed to build which I'm totally not responsible for (oops). #93838 should fix it.

18:50 <{^_^}> https://github.com/NixOS/nixpkgs/pull/93838 (by ajs124, 4 minutes ago, open): nixos/tasks/lvm: fix systemd tmpfiles

18:56 evanjs has quit [Read error: Connection reset by peer]

18:59 evanjs has joined #nixos-dev

19:11 orivej has joined #nixos-dev

19:21 orivej has quit [Ping timeout: 240 seconds]

19:22 orivej has joined #nixos-dev

19:24 justanotheruser has quit [Ping timeout: 272 seconds]

19:45 alp_ has joined #nixos-dev

19:53 urkk has quit [Quit: leaving]

19:55 orivej has quit [Ping timeout: 240 seconds]

19:55 orivej has joined #nixos-dev

20:04 Guest10762 has joined #nixos-dev

20:05 orivej has quit [Quit: No Ping reply in 180 seconds.]

20:06 orivej has joined #nixos-dev

20:10 alp_ has quit [Ping timeout: 240 seconds]

20:12 <gchristensen> Ericson2314: I don't suppose you could help me define a crossSystem config for what Rust calls thumbv7em-none-eabi?

20:16 orivej has quit [Ping timeout: 256 seconds]

20:16 orivej_ has joined #nixos-dev

20:18 <Ericson2314> gchristensen: try armv7m-none-eabi ?

20:19 <Ericson2314> and if you arrange for platform.gcc.arch to contain thumb, that might do stuff

20:21 <Ericson2314> actuallly mode

20:21 <Ericson2314> gchristensen: see pkgs/development/compilers/gcc/common/platform-flags.nix; you'll want `mode = "thumb"` some where it will pick it up

20:22 <gchristensen> okay, cool

20:37 alp_ has joined #nixos-dev

20:39 orivej_ has quit [Ping timeout: 256 seconds]

20:39 orivej has joined #nixos-dev

20:48 orivej has quit [Quit: No Ping reply in 180 seconds.]

20:49 <{^_^}> firing: RootPartitionLowInodes: https://status.nixos.org/prometheus/alerts

20:49 orivej has joined #nixos-dev

20:58 <gchristensen> Ericson2314: is this workable? crossSystem = {config = "armv7m-none-eabi";platform.gcc.mode = "thumb";};

20:59 <Ericson2314> gchristensen: looks good to me...in theory haha

21:01 orivej has quit [Ping timeout: 246 seconds]

21:01 orivej has joined #nixos-dev

21:01 <clever> gchristensen: of note, certain opcodes dont work in thumb mode, and anything using inline asm or optimized .S files might fail to build

21:04 <gchristensen> hm

21:05 <clever> gchristensen: another option (though a lot more complex), is that you can freely mix thumb and normal in the same binary

21:05 <clever> so you can just -mthumb certain files, and not for others

21:09 orivej has quit [Quit: No Ping reply in 180 seconds.]

21:10 orivej has joined #nixos-dev

21:15 <manveru> it's kinda unfortunate that now the error messages are before the backtrace... have to scroll up all time time :|

21:24 alp_ has quit [Ping timeout: 256 seconds]

21:25 cole-h has quit [Quit: Goodbye]

21:38 orivej_ has joined #nixos-dev

21:38 orivej has quit [Read error: Connection reset by peer]

21:48 orivej_ has quit [Ping timeout: 246 seconds]

21:48 orivej has joined #nixos-dev

21:54 justanotheruser has joined #nixos-dev

21:56 orivej has quit [Quit: No Ping reply in 180 seconds.]

21:57 orivej has joined #nixos-dev

21:58 __monty__ has quit [Quit: leaving]

22:51 orivej has quit [Quit: No Ping reply in 180 seconds.]

22:51 orivej has joined #nixos-dev

23:00 orivej has quit [Ping timeout: 240 seconds]

23:02 orivej has joined #nixos-dev

23:31 orivej has quit [Quit: No Ping reply in 180 seconds.]

23:32 orivej has joined #nixos-dev

23:43 orivej has quit [Ping timeout: 240 seconds]

23:43 orivej has joined #nixos-dev