Separate idx/dev.nix into a flake.nix and a simpler idx config file.
For experienced nix users, the channel
and packages
parameters overlap with flakes enough that there's no need to wrap them up in a bespoke DSL. If a project already has a flake.nix that includes a devShell, it's not clear how this should be wired up.
For inexperienced nix users, being forced to learn Nix to edit the idx-specific entry seems unnecessary.
2
votes
-
Debanjan Basu commented
How are you getting flakes working in IDX?