diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-06-04 11:14:19 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-06-04 11:14:19 +0200 |
| commit | 0f44b60e6dc999697bf9f2a4b3652a0551016598 (patch) | |
| tree | bce14b1fde0610fe36dd8c3c6e75e26dcb25135c /src/nix/main.cc | |
| parent | 61e3d598b67290ca66f34fcac7b7373f506240da (diff) | |
Make 'nix dev-shell' a deprecated alias for 'nix develop'
Diffstat (limited to 'src/nix/main.cc')
| -rw-r--r-- | src/nix/main.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/nix/main.cc b/src/nix/main.cc index ef301580a..1120ba5ef 100644 --- a/src/nix/main.cc +++ b/src/nix/main.cc @@ -110,6 +110,8 @@ struct NixArgs : virtual MultiCommand, virtual MixCommonArgs .description = "consider all previously downloaded files out-of-date", .handler = {[&]() { refresh = true; }}, }); + + deprecatedAliases.insert({"dev-shell", "develop"}); } void printFlags(std::ostream & out) override |