| 12 May 2023 |
 Growpotkin | I was in a meeting for work. | 15:46:51 |
 infinisil | We were at the time of your message | 16:36:56 |
| infinisil | You did say you were available at this time though 😅 | 16:37:40 |
| infinisil | If you can't make a meeting I really recommend letting people know in advance! | 16:38:55 |
| infinisil | Robert Hensing (roberth): What do you think of using a pinned version of the lazy trees builtins.filterPath (that's what it's called) in CI to ensure the reference requirement of RFC 140? | 17:38:02 |
| infinisil | It's a bit dangerous considering that lazy trees is very unstable and unreviewable, but considering it's only for a limited part of CI, and pinned, it might be okay, it would simplify the implementation a lot | 17:39:35 |
| infinisil | Oof, actually the error message would be terrible that way.. Since lazy paths have a separate filesystem root, trying to import e.g. ../../../../default.nix (the default.nix in the root) from pkgs/unit/he/hello leads to
error: getting status of '/home/tweagysil/na/nixpkgs/pkgs/unit/he/hello/README.md': No such file or directory
| 17:55:14 |
| infinisil | Oh and in fact it's even worse, because if you try to import ../../../../package.nix, it actually works, but it imports package.nix in the local directory, so ./package.nix! That's really confusing, maybe I should comment this in the lazy trees PR | 17:56:40 |
| infinisil | The cause of these problems is that the parent of a filesystem root is the filesystem root itself, so /.. == /. | 17:57:38 |
| infinisil | I reported this here: https://github.com/NixOS/nix/pull/6530#issuecomment-1546110770 | 18:14:32 |
|  @federicodschonborn:matrix.org changed their profile picture. | 19:34:21 |
| @federicodschonborn:matrix.org changed their display name from Federico Schonborn to Federico Damián Schonborn. | 19:35:02 |
| 15 May 2023 |
| Growpotkin | I had no idea that the date/time had been set | 14:25:49 |
| infinisil | I sent out this message and email invites more than a week in advance 😅 | 14:26:57 |
| Growpotkin | Damn, for whatever reason my calendar missed it. Sorry y'all | 14:33:34 |
