| 19 Feb 2026 |
 woobilicious | i.e. https://hydra.nixos.org/log/5hsi41vkklihxa78a0lmj49za0d9mifn-sbv-10.2.drv | 23:48:12 |
 alexfmpe | wth | 23:51:23 |
| woobilicious | yeah actually we don't even package mathsat, so tests can't pass without us doing that. | 23:54:17 |
| alexfmpe | can't they...like...have two test suites that both call the same thing but with different quickcheck iterations | 23:54:41 |
| alexfmpe | * can't they...like...have two test suites that both call the same thing but with different number of quickcheck iterations | 23:55:02 |
| alexfmpe | then their CI can run the fancy 45min thing, but distributors have a better choice than 45min or no tests | 23:55:29 |
| alexfmpe | * then their CI can run the fancy 45min thing, but distributors have more than the choice than 45min or no tests | 23:55:44 |
| alexfmpe | * then their CI can run the fancy 45min thing, but distributors have more than the choice between 45min or no tests | 23:55:50 |
| woobilicious | wtf why did regenerate-hackage-packages.sh change quotation in a script? | 23:56:17 |
| alexfmpe | quotation? | 23:56:33 |
| alexfmpe | there's something funny going on with regenerate-hackage-packages.sh where you're supposed to call it inside the top-level nix-shell so it will find treefmt and lint away | 23:57:03 |
| woobilicious | - preBuild = "export LD_LIBRARY_PATH=`pwd`/dist/build\${LD_LIBRARY_PATH:+:}$LD_LIBRARY_PATH";
+ preBuild = ''export LD_LIBRARY_PATH=`pwd`/dist/build''${LD_LIBRARY_PATH:+:}$LD_LIBRARY_PATH'';
| 23:57:06 |
| alexfmpe | ah there you go, it's the auto-linter | 23:57:18 |
| alexfmpe | nixpkgs CI has lint checks for months now | 23:57:35 |
| alexfmpe | huh hang on a sec, there's 3 sets of single quote pairs in there? | 23:58:14 |
| woobilicious | must be a bug lol | 23:59:04 |
| alexfmpe | I dunno how that works, but it works
nix-repl> ''export LD_LIBRARY_PATH=`pwd`/dist/build''${LD_LIBRARY_PATH:+:}$LD_LIBRARY_PATH''
"export LD_LIBRARY_PATH=`pwd`/dist/build\${LD_LIBRARY_PATH:+:}$LD_LIBRARY_PATH"
| 23:59:13 |
| woobilicious | oh it lets you use ${} in the bash script | 23:59:40 |
| 20 Feb 2026 |
| alexfmpe | what is this madness
nix-repl> ''abc''def''
error: undefined variable 'def'''
at «string»:1:8:
1| ''abc''def''
| ^
nix-repl> ''abc''$def''
"abc$def"
| 00:00:19 |
| woobilicious | yeah it treats $ literally | 00:00:39 |
| alexfmpe | nix-repl> ''abc'$def''
"abc'$def"
| 00:01:00 |
| alexfmpe | I need to hit someone | 00:01:16 |
| alexfmpe | so IIUC, ''$ is a fancy special construct to quote $ ? | 00:02:00 |
| woobilicious | nix-repl> ''abc''${test}''
"abc\${test}"
| 00:02:21 |
| alexfmpe | looks like it | 00:02:33 |
| alexfmpe | disturbing but whatever | 00:02:42 |
| alexfmpe | I really don't see how ''$ improves on \$ | 00:03:40 |
| woobilicious | nix-repl> ''''$''
"$"
nix-repl> ''abc''$def''
"abc$def"
| 00:05:04 |
| alexfmpe | what the hell | 00:05:13 |
| woobilicious | Mine gives a different result lol | 00:05:17 |
