| 13 Dec 2021 |
hexa | can't do the same for a channel that is related to a package set, unless the change is on a critical path | 00:33:54 |
adisbladis | And not one big PR ether | 00:33:56 |
@grahamc:nixos.org | anyone happen to know what the API is to find all the rooms in a space? | 02:35:36 |
@grahamc:nixos.org | DDG for "matrix space msc" is not coming up with things about matrix | 02:37:43 |
Dandellion | You'd just read the state event from the space room ig | 03:06:39 |
andi- | In reply to @grahamc:nixos.org DDG for "matrix space msc" is not coming up with things about matrix https://github.com/andir/infra/blob/0edaea917ac9baaa63017d959659c6593e8451ed/nix/packages/spacesbot/spacesbot/init.py#L9-L60 this is how I do it with spacesbot - keeps a log of public NixOS channels | 17:12:43 |
andi- | and then you do that query recursively for every m.space room type. | 17:13:43 |
@grahamc:nixos.org | oh interesting | 20:29:17 |
@grahamc:nixos.org | I should probably stop writing this in bash | 20:29:30 |
adisbladis | In reply to @grahamc:nixos.org I should probably stop writing this in bash That's a statement that's true for pretty much everything | 21:20:33 |
| 21 Dec 2021 |
| Mic92 joined the room. | 07:19:27 |
Mic92 | I thought about a room for topics like kernel, stdenv, low-level hacking, patchelf.... my current name proposal would be #systems-programming but I am also open to other suggestions
| 07:20:43 |
Mic92 | I got three upvotes for this. So we can go with this? | 08:41:17 |
Mic92 | * I got three upvotes for this in total (here and the other room). So we can go with this? | 08:41:35 |
| svin changed their profile picture. | 08:52:53 |
| 22 Dec 2021 |
cole-h | What about just #low-level? | 23:52:41 |
cole-h | * <del>What about just #low-level?</del> I see I'm a bit late to the debate ^^; | 23:53:29 |
cole-h | Whatever, Matrix... Pretend that worked. | 23:53:44 |
| 25 Dec 2021 |
| freshgum changed their profile picture. | 00:37:53 |
| clango joined the room. | 18:24:00 |
| 26 Dec 2021 |
| asymmetric left the room. | 22:24:18 |
| 5 Jan 2022 |
| industrialrobot joined the room. | 12:12:38 |
| 6 Jan 2022 |
fzakaria (Old) | Is Element Home worth it ? | 22:00:26 |
| 7 Jan 2022 |
| fzakaria (Old) changed their display name from fzakaria to fzakaria (Old). | 03:48:03 |
| fzakaria joined the room. | 04:29:44 |
fzakaria | What a disaster ... tried migrated to element home | 04:29:58 |
Zhaofeng Li | Does the hosted service allow you "port out" the database? | 04:32:48 |
fzakaria | it did but it didn't really do it well | 04:33:49 |
fzakaria | and now there's i think all this oddity from being maybe on a different "host" | 04:34:00 |
fzakaria | i use to be able to see all the sub-rooms but now i have to join the higher topic to see them | 04:34:13 |