diff options
| author | Daiderd Jordan <daiderd@gmail.com> | 2017-10-18 23:36:39 +0200 |
|---|---|---|
| committer | Daiderd Jordan <daiderd@gmail.com> | 2017-10-18 23:36:39 +0200 |
| commit | f555eb99ba153e018c1600d677b2658469f00a36 (patch) | |
| tree | ade3d2bed74d411f7c3b2dd121a8ce9d3c9ea1c6 | |
| parent | 48c8e01112c7483633a37f1534388e5fa42ed747 (diff) | |
alias: make deprecated options internal
| -rw-r--r-- | modules/alias.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/alias.nix b/modules/alias.nix index 17fb00b..3503c69 100644 --- a/modules/alias.nix +++ b/modules/alias.nix @@ -9,7 +9,7 @@ in { options = { - nix.profile = mkOption { default = null; }; + nix.profile = mkOption { internal = true; default = null; }; }; |