Naïm Camille Favier comments

Results 190 comments of


                                            Naïm Camille Favier

Add flake.lock & workflow to update it

https://github.com/nix-community/home-manager/pull/2971 was merged, we have a flake.lock now.

files: avoid surprises when linking files

> Do you know whether the GNU coreutil package is in the activation script's $PATH? If so, my previous comment can be ignored but a note should be left. [Yep](https://github.com/nix-community/home-manager/blob/12cfcc1b9dc9a8a7a0b4cf538841b85af5c4cd98/modules/home-environment.nix#L655)....

`unmerged-usr` doesn't apply to all distros

Making `/bin` a symlink does add two (non-canonical) paths to the filesystem: `/bin/env` and `/usr/bin/sh`. Those paths are called impure because their contents depend on the current *state* of the...

Cache evaluation for eval and flake check

Still an issue

`nix flake update --single <name>` is more intuitive than `nix flake lock --update

This doesn't seem inconsistent with making `update arg1 arg2` an alias for `lock --update-input arg1 --update-input arg2`.

Collect build time statistics

Annoying bot; this is important.

Document the fact that the tactics plugin turns on -Wincomplete-patterns

The flag is set by Wingman in the snippet posted above and nowhere else. If I unset it by adding `-Wno-incomplete-patterns` to my project's options (either in `ghc-options` in a...

Don't look for agda-lib files in /nix/store

I'd like to either close or merge this.

Treat alias names like description

This came up again: https://github.com/NixOS/nixos-search/issues/563

fix(make): fix stripped directory names with `bind 'set show-all-if-ambiguous on'`

Can confirm this works fine. Not sure why we need all that code though, bash should be able to do the right thing with paths (`complete -o filenames`?)