Skip to content

Instantly share code, notes, and snippets.

@kalbasit

kalbasit/gist:1b8436e3c8b49a3e176b90e75f79f6e6

Created May 29, 2020 03:30
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save kalbasit/1b8436e3c8b49a3e176b90e75f79f6e6 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save kalbasit/1b8436e3c8b49a3e176b90e75f79f6e6 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. kalbasit created this gist May 29, 2020.
    9 changes: 9 additions & 0 deletions gistfile1.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,9 @@
    (_: 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; };
    });
    })