diff options
| author | Laurențiu Nicola <lnicola@dend.ro> | 2024-12-11 11:49:08 +0200 |
|---|---|---|
| committer | Laurențiu Nicola <lnicola@dend.ro> | 2024-12-11 11:49:08 +0200 |
| commit | 5db2aa865cdc4bf0634fdcbdd8d201253938f02a (patch) | |
| tree | 6ba3b87d4ac3b10b67159211a493f785c76ee0fa /src/tools/nix-dev-shell/envrc-shell | |
| parent | 1649eb6dd74507bbd9513464609fcd5a9bcc655b (diff) | |
| parent | 5a6036a1802262f8cf02192b02026688d396f1d7 (diff) | |
| download | rust-5db2aa865cdc4bf0634fdcbdd8d201253938f02a.tar.gz rust-5db2aa865cdc4bf0634fdcbdd8d201253938f02a.zip | |
Merge from rust-lang/rust
Diffstat (limited to 'src/tools/nix-dev-shell/envrc-shell')
| -rw-r--r-- | src/tools/nix-dev-shell/envrc-shell | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/nix-dev-shell/envrc-shell b/src/tools/nix-dev-shell/envrc-shell index fb7231a6c30..d8f900fe86a 100644 --- a/src/tools/nix-dev-shell/envrc-shell +++ b/src/tools/nix-dev-shell/envrc-shell @@ -1,7 +1,7 @@ # If you want to use this as an .envrc file to create a shell with necessery components # to develop rustc, use the following command in the root of the rusr checkout: # -# ln -s ./src/tools/nix-dev-shell/envrc-shell ./.envrc && echo .envrc >> .git/info/exclude +# ln -s ./src/tools/nix-dev-shell/envrc-shell ./.envrc use nix ./src/tools/nix-dev-shell/shell.nix |