diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-06-04 10:57:40 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-06-04 10:57:40 +0200 |
| commit | 61e3d598b67290ca66f34fcac7b7373f506240da (patch) | |
| tree | 317c6601af878982b211ab514a7abf801aca1ec3 /src/nix/local.mk | |
| parent | 01572c2198de49071827f0be9f5db202bac21703 (diff) | |
Rename 'nix dev-shell' to 'nix develop'
Fixes #3648.
Diffstat (limited to 'src/nix/local.mk')
| -rw-r--r-- | src/nix/local.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/nix/local.mk b/src/nix/local.mk index 8c0eed19e..43b7754e3 100644 --- a/src/nix/local.mk +++ b/src/nix/local.mk @@ -28,4 +28,4 @@ $(eval $(call install-symlink, $(bindir)/nix, $(libexecdir)/nix/build-remote)) src/nix-env/user-env.cc: src/nix-env/buildenv.nix.gen.hh -src/nix/dev-shell.cc: src/nix/get-env.sh.gen.hh +src/nix/develop.cc: src/nix/get-env.sh.gen.hh |