Skip to content

Instantly share code, notes, and snippets.

@kalbasit
Created May 29, 2020 03:30
Show Gist options
  • Save kalbasit/1b8436e3c8b49a3e176b90e75f79f6e6 to your computer and use it in GitHub Desktop.
Save kalbasit/1b8436e3c8b49a3e176b90e75f79f6e6 to your computer and use it in GitHub Desktop.
(_: topSuper: {
lib = topSuper.lib.extend(self: super: {
mkOption = { auto-enable ? true, ... }@attrs:
let
attrs' = builtins.removeAttrs attrs [ "auto-enable" ];
in
(super.mkOption attrs') // { inherit auto-enable; };
});
})
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment