diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-13 13:18:41 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-13 13:18:41 +0000 |
commit | 48802e54d1669c68fd27b007533dd6aa5221d089 (patch) | |
tree | 2518eb7bb63741d9ea389c84298adfd1c8b430c7 /crates/ide_db/src/line_index | |
parent | ca3a54f0a4b59fb2c4429096a1d5c1bc2b8e761e (diff) | |
parent | 7d7949b31527b30a712dd11a8c977644ae2b9e30 (diff) |
Merge #6855
6855: Change recommendation when source can't be loaded from sysroot r=matklad a=flodiebold
Since we just tried running `rustup component add`, it doesn't make sense to me to recommend trying that again. If we're reaching this case, it's probably more likely that rustc was installed via package manager, in which case the source should be installed the same way (e.g. if you install the rust-src package on Ubuntu it will install a symlink in the right place to make our sysroot
detection work, and IMO we should get other distributors to do the same if they aren't already).
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ide_db/src/line_index')
0 files changed, 0 insertions, 0 deletions