| 7 Sep 2021 |
ryantm | Mic92: I just remembered why I didn't do it. It was going to convert the Release Notes from an Appendix to a Chapter. | 13:23:03 |
Mic92 | ryantm: is it not still useful for the remaining docs? | 13:23:34 |
ryantm | Mic92: It is, so I'll make a PR that is just the script changes. | 13:24:00 |
ryantm | Mic92: Here we go https://github.com/NixOS/nixpkgs/pull/136987/files | 13:32:29 |
ryantm | * Mic92: Here we go https://github.com/NixOS/nixpkgs/pull/136987/ | 13:32:37 |
| chvp joined the room. | 14:51:42 |
Jan Tojnar | how should we proceed with with https://github.com/NixOS/nixpkgs/pull/130047? | 18:15:56 |
Mic92 | Jan Tojnar: looks good to me | 18:18:19 |
Mic92 | is detecting all pages that starts with systemd too much magic? | 18:19:11 |
Jan Tojnar | Mic92: not sure if all of them have same page number | 18:25:56 |
Mic92 | Jan Tojnar: you are right, systemd.directives(7) has the references | 18:26:45 |
Mic92 | But do you even need the number? | 18:27:50 |
Mic92 | The url does not come with numbers | 18:27:56 |
Jan Tojnar | yeah, you are right | 18:28:17 |
Jan Tojnar | we could probably use regex in the lua script | 18:28:32 |
Jan Tojnar | I wondered if we should keep the mapping dumb (e.g. JSON in case we want to use it from other languages) | 18:29:44 |
Jan Tojnar | and in the end decided the ability to match patterns might be too useful | 18:30:12 |
Jan Tojnar | but for now, I would probably keep it simple in case we decide we want to use JSON in nixos-search | 18:33:08 |
ryantm | I'm still kind of opposed to adding more syntax just to support this small feature. | 18:40:07 |
Mic92 | does it log us in to pandoc basically? | 18:41:43 |
Mic92 | * Does it lock us in to pandoc basically? | 18:41:54 |
ryantm | I suspect there are others that support it, but each syntax we adopt add limits our options. I guess it shouldn't be too hard to find all the places using it and change them later though. | 18:43:12 |
Jan Tojnar | the syntax comes from MyST (sphinx) but wit pandoc, we can trivially convert it to whatever else we decide on later | 18:45:10 |
Mic92 | would it work with https://github.com/ryantm/mmdoc? | 18:45:44 |
ryantm | Not unless we add support. | 18:45:53 |
ryantm | I withdraw my objection to merging it. | 18:46:00 |
| 8 Sep 2021 |
| Sandro joined the room. | 00:17:16 |
| 9 Sep 2021 |
| bobby285271 joined the room. | 04:56:53 |
| 10 Sep 2021 |
| Artturin left the room. | 00:24:41 |
| Artturin joined the room. | 00:24:53 |