diff options
| author | Ralf Jung <post@ralfj.de> | 2024-12-12 12:24:31 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-12-12 12:24:31 +0100 |
| commit | f590fa92140b5cc375bd4bc16ca6e930c5bf9e33 (patch) | |
| tree | 47d0fb5e03dc56be5e33f9b84f668b540b990e31 /src/tools/nix-dev-shell/envrc-shell | |
| parent | cc797a2b741be734289ba857e99dc72be908d92d (diff) | |
| parent | a4ef751e26a90dd3b6b35fdbfef1e4854f9d80e1 (diff) | |
| download | rust-f590fa92140b5cc375bd4bc16ca6e930c5bf9e33.tar.gz rust-f590fa92140b5cc375bd4bc16ca6e930c5bf9e33.zip | |
Merge from rustc
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 |