| 8 Aug 2025 |
 nbp | (oh, this has been fixed a year ago in agenix) | 12:33:22 |
 ibizaman | I have an option whose type is optionType. So in the config part, I define what the type actually is. Is it possible for this "instantiated" option to appear in the documentation/the manual? | 21:34:48 |
| ibizaman | Right now I see the description for the optionType but not for the "instantiated" option. | 21:35:45 |
 hsjobeki | I would say no. Documentation is only generated from options. Since the actual type is defined in config.
But i guess the values is then mapped into some module as option. There you could get the docs | 23:02:08 |
| ibizaman | Makes sense indeed. Thanks! | 23:19:42 |
| 9 Aug 2025 |
|  seapat set a profile picture. | 14:23:12 |
| 11 Aug 2025 |
|  Philipp changed their display name from Philipp to Spaenny. | 14:47:13 |
| 18 Aug 2025 |
|  redblueflame set a profile picture. | 14:25:54 |
| redblueflame changed their display name from redblueflame to knownasred. | 14:26:00 |
| 20 Aug 2025 |
|  jopejoe1 (4094@GPN23) changed their display name from jopejoe1 (4094@GPN23) to jopejoe1. | 18:50:36 |
| 21 Aug 2025 |
|  Theo Paris joined the room. | 22:11:08 |
| 22 Aug 2025 |
|  odoom joined the room. | 21:38:28 |
| 27 Aug 2025 |
|  NullCube left the room. | 12:19:29 |
| 29 Aug 2025 |
|  luna-null left the room. | 02:40:35 |
| 31 Aug 2025 |
|  Edgar Lee joined the room. | 09:20:33 |
| 4 Sep 2025 |
|  atagen set a profile picture. | 12:04:16 |
| atagen changed their profile picture. | 12:04:40 |
| atagen changed their profile picture. | 12:04:51 |
| 6 Sep 2025 |
|  SomeoneSerge (Ever OOMed by Element) changed their display name from SomeoneSerge (Ever OOMed by Element) to SomeoneSerge (@nixcon & back on matrix). | 09:21:09 |
| 7 Sep 2025 |
|  nkl joined the room. | 15:54:19 |
| 8 Sep 2025 |
|  inayet set a profile picture. | 02:17:16 |
| 9 Sep 2025 |
|  zrsk changed their display name from zrsk to aciceri. | 15:02:18 |
| 10 Sep 2025 |
| SomeoneSerge (Ever OOMed by Element) changed their display name from SomeoneSerge (@nixcon & back on matrix) to SomeoneSerge (back on matrix). | 00:34:47 |
|  Jason Odoom left the room. | 12:31:55 |
| 12 Sep 2025 |
| Theo Paris left the room. | 01:43:07 |
| 14 Sep 2025 |
|  Emma [it/its] joined the room. | 08:39:58 |
| 23 Sep 2025 |
|  a-kenji changed their display name from a-kenji to kenji. | 10:37:25 |
| 30 Sep 2025 |
|  17lifers (at mikuplushfarm) joined the room. | 16:05:31 |
|  NixOS Moderation Bot banned  Shahar "Dawn" Or (divisive behavior.). | 19:22:06 |
| 3 Oct 2025 |
|  moleksiak joined the room. | 23:13:54 |
