| 5 Jul 2021 |
|  spacesbot - keeps a log of public NixOS channels joined the room. | 19:20:19 |
| spacesbot - keeps a log of public NixOS channels | 19:49:34 |
|  nf changed their profile picture. | 23:32:36 |
| 6 Jul 2021 |
 Vladimír Čunát | It's not urgent by itself, but I'd like us to re-deploy builders for updated sandbox shell, some time after merging/backporting https://github.com/NixOS/nixpkgs/pull/129412 | 08:50:35 |
| Vladimír Čunát | I wonder if using busybox is a too minimalist default. When I see the code... say defaulting to 32-bit numbers even on 64-bit systems and not doing range checks properly. | 09:59:02 |
 Domen Kožar | grahamc (he/him): Do you think we can move aarch64-darwin separate jobset into the trunk now? | 10:57:24 |
| Vladimír Čunát | In reply to @vcunat:matrix.org
I wonder if using busybox is a too minimalist default. When I see the code... say defaulting to 32-bit numbers even on 64-bit systems and not doing range checks properly. A more radical proposal: use dash instead https://github.com/NixOS/nixpkgs/pull/129428 | 11:26:12 |
 sterni | does busybox sh have any kind of bash compat? | 11:29:36 |
| Vladimír Čunát | Why bash compat? We only provide /bin/sh | 11:48:48 |
| sterni | I fear that some things may assume that /bin/sh in the sandbox is bash(-like?) since /bin/sh on NixOS is bash by default | 11:49:41 |
| sterni | or bash's sh mode | 11:49:46 |
| sterni | so if e. g. bushybox sh supports [[ ]] then we'd be in trouble with dash potentially | 11:50:15 |
| sterni | I'd still say the change is worth it but may be more work than just switching it out | 11:50:41 |
| Vladimír Čunát | Hmm, so you are right about [[ ]] support 😞 | 11:52:19 |
| Vladimír Čunát | Generally packages should prefer pure alternatives (e.g. ${stdenv.SHELL} or others, usually via patchShebangs) | 11:53:00 |
| sterni | I guess this would mean that we'd need to create a jobset for the change | 11:53:04 |
| Vladimír Čunát | The change is impure. | 11:53:19 |
| Vladimír Čunát | So you can't just create a jobset for it. | 11:53:33 |
| sterni | oh right | 11:53:37 |
 @grahamc:nixos.org | I've run with /bin/sh being dash and also being osh for a long time without trouble | 15:07:16 |
|  7c6f434c left the room. | 15:51:49 |
| spacesbot - keeps a log of public NixOS channels changed their display name from spacesbot to spacesbot - keeps a log of public NixOS channels. | 22:11:46 |
| 8 Jul 2021 |
|  sumner left the room. | 12:25:33 |
| 9 Jul 2021 |
 lukegb (he/him) | Can we redeploy Prometheus so it picks up https://github.com/NixOS/nixos-org-configurations/commit/22612b0853c0492972b8536fc0a6fc752ce777c3 (and https://github.com/NixOS/nixos-org-configurations/commit/b007cd8c39b188db1541a9c029588e126a43d92b)? | 17:46:36 |
| 11 Jul 2021 |
| sterni | can someone with more github org rights than me flick all the repositories that are read to maintain in NixOS/Haskell? peti transferred them today, but seemingly forgot to adjust the privileges (https://github.com/NixOS/nixpkgs/issues/125980#issuecomment-877770675) cc Domen Kožar | 12:45:14 |
| Domen Kožar | I'm happy to do it tomorrow, busy with life today :) | 13:11:45 |
| sterni | have a nice sunday :) | 13:12:59 |
|  rosariopulella joined the room. | 15:45:07 |
| 12 Jul 2021 |
| Domen Kožar | sterni (he/him): done! | 09:28:23 |
| sterni | ty! | 09:32:25 |
