diff options
author | piegames <git@piegames.de> | 2024-07-13 05:24:41 +0200 |
---|---|---|
committer | piegames <git@piegames.de> | 2024-08-17 19:47:51 +0200 |
commit | 49d61b2e4bf338042364c85d3c2ead0b33963e65 (patch) | |
tree | 09ffba6841df5a3990aa2d1c6bb9e19e0e355b14 /src/nix | |
parent | 1c080a8239f1be5a61d9fb2121ca958542ec183f (diff) |
libexpr: Introduce Deprecated features
They are like experimental features, but opt-in instead of opt-out. They
will allow us to gracefully remove language features. See #437
Change-Id: I9ca04cc48e6926750c4d622c2b229b25cc142c42
Diffstat (limited to 'src/nix')
-rw-r--r-- | src/nix/main.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/nix/main.cc b/src/nix/main.cc index 9cbe303ac..5356a0d04 100644 --- a/src/nix/main.cc +++ b/src/nix/main.cc @@ -14,6 +14,7 @@ #include "loggers.hh" #include "markdown.hh" #include "experimental-features-json.hh" +#include "deprecated-features-json.hh" #include <sys/types.h> #include <sys/socket.h> @@ -422,6 +423,11 @@ void mainWrapped(int argc, char * * argv) return; } + if (argc == 2 && std::string(argv[1]) == "__dump-dp-features") { + logger->cout(documentDeprecatedFeatures().dump()); + return; + } + Finally printCompletions([&]() { if (args.completions) { |