builtins.unsafeGetAttrPos

:O :O :O

In string types we have strMatching, however that expects a regex not a predicate function.

The general solution is addCheck (see extending types), however the examples there don't show that you typically also want to extend/override the type's description.

I recently stumbled upon similar issue when working on home-manager. https://discourse.nixos.org/t/is-it-possible-to-define-systemd-services-in-a-submodule/39538/5

The idea is that enabling https://nix-community.github.io/home-manager/options.xhtml#opt-programs.bash.enableCompletion should set environment.pathsToLink = [ "/share/bash-completion" ];.

I think that module system is missing an option to pass config options recursively up to all ancestors.

I'm reading through the module system deep dive on nix.dev and am wondering if there is a behavioral difference between setting an options default behavior in the config attribute vs the default attribute in mkOption.

this

{
  pkgs,
  lib,
  config,
  ...
}: {
  options = {
    scripts.output = lib.mkOption {
      type = lib.types.package;
    };
  };
  config = {
    scripts.output = pkgs.writeShellApplication {
      name = "map";
      runtimeInputs = with pkgs; [curl feh];
      text = ''
        ${./map} ${lib.concatStringsSep " "
          config.requestParams} | feh -
      '';
    };
  };
}

vs this

{
  pkgs,
  lib,
  config,
  ...
}: {
  options = {
    scripts.output = lib.mkOption {
      type = lib.types.package;
      default = pkgs.writeShellApplication {
        name = "map";
        runtimeInputs = with pkgs; [curl feh];
        text = ''
          ${./map} ${lib.concatStringsSep " "
            config.requestParams} | feh -
        '';
      };
    };
  };
}