Luc Chabassier

Since I am trying to build it using nix, it doesn't use `/bin/sh` but `/nix/store/8fv91097mbh5049i9rglc73dx6kjg3qk-bash-5.2-p15/bin/bash`, which is `bash`. If the stackoverflow thread you have linked is to be trusted, it...

Does this mean the only way to use unimath now is to use coq's master branch ? Because this is a bit problematic for plugin developers...

If so it may be interesting to use dune in the opam file, because right now installing unimath with opam fails due to this error.

My hypothesis is that the `lib` argument you use in the module system comes from the `pkgs` argument that is created from the `nixpkgs.pkgs` and `nixpkgs.overlays` options. As such, setting...

As may be relevant, I have a nix expression [there](https://github.com/dwarfmaster/home-nix/blob/8b5b30f4976f1f8bb1a0575a93431f0e5e405044/profiles/nixos/interface/theme/default.nix#L14) that generates the lambda wheel of base16.nix with the colors of a specific theme.

I do not use prefsCleaner. If an option is moved in arkenfox's user.js (for example if it is moved to 6050 or 9999), its name change so you will have...

The script generating the nix files from the `user.js` depends on the comments to have the right shape, in order to group the options by section and to include their...

Right, due to laziness on my part I hardcoded the architecture to the one I was using. However as long as you use only the overlays and modules it should...

I though it would work if used like that, I'll have a look when I have the time.

Usage of the module on darwin should be fixed now. I still plan to use flake utils but there are a few more things I want to refactor before.