| 4 Nov 2022 |
Mic92 | rapenne-s: I deleted them | 16:39:18 |
| 5 Nov 2022 |
| hjulle set a profile picture. | 04:09:43 |
| asymmetric changed their profile picture. | 16:20:38 |
| 8 Nov 2022 |
Alex | Is there a quick link to access the Hydra manual like there is for the Nix/Nixpkgs/NixOS manuals?
Currently, finding the latest version of it isn't easy. | 16:30:29 |
Yuki (they/them) | Not as far as I'm aware | 16:29:55 |
Yuki (they/them) | Google first result is the literal hydra build for the hydra manual. | 16:30:08 |
fricklerhandwerk | https://nixos.org/hydra/manual/ seems to redirect to the latest build | 22:39:46 |
fricklerhandwerk | * https://nixos.org/hydra/manual/ seems to redirect to the latest build of the manual | 22:39:52 |
| 10 Nov 2022 |
| npc_projection joined the room. | 06:56:21 |
| npc_projection set a profile picture. | 07:14:48 |
| 11 Nov 2022 |
| evils left the room. | 21:52:43 |
| 14 Nov 2022 |
chreekat | it appears that lib.mdDoc fails to create paragraphs. For example, services.nginx.virtualHosts.<name>.listen has a paragraph in the input, but not in the output | 09:53:31 |
chreekat |
| 09:53:40 |
chreekat | Heh, this one file has two ways of referring to options:
{option}`option.name`
and [](#option.name).
the latter magically makes a link that curiously works. The former is ... also curious
| 10:14:41 |
chreekat | And the file I'm editing uses all three: the two above, plus the nullary "no formatting at all" XD | 10:15:23 |
chreekat | Any opinions on which I should use? | 10:15:36 |
chreekat | * Heh, this one file has two ways of referring to options:
{option}`option.name`
and [](#opt-option.name).
the latter magically makes a link that curiously works. The former is ... also curious
| 10:19:02 |
chreekat | {option} seems nicer, assuming some day it gets the same treatment as the link | 10:20:08 |
chreekat | I'm just not gonna touch it. The unformatted "option" is actually an attribute set | 10:23:32 |
| 15 Nov 2022 |
| vdemeester joined the room. | 14:24:53 |
| seapat joined the room. | 17:57:02 |
Mic92 | What is the current recommendation for generating module documentation: https://github.com/nix-community/disko#module-options ? | 18:32:41 |
Yuki (they/them) | Would be nice if we have a tool like godoc | 20:05:34 |
Yuki (they/them) | Is that still a thing? I recall like there’s an instance of it which generates API documentation for pretty much most of GitHub | 20:06:20 |
| 16 Nov 2022 |
| zuckerberg changed their profile picture. | 15:53:17 |
| omlet joined the room. | 20:34:36 |
| 17 Nov 2022 |
Yuki (they/them) | No docs team meeting today? | 14:46:39 |
Mic92 | I think it's still coming up | 16:28:27 |
Mic92 | But I am skipping today | 16:28:31 |
| omlet left the room. | 18:09:32 |