Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Various fixes for install.sh #13187

Merged
merged 6 commits into from
Mar 29, 2014
Merged

Various fixes for install.sh #13187

merged 6 commits into from
Mar 29, 2014

Conversation

brson
Copy link
Contributor

@brson brson commented Mar 28, 2014

No description provided.

@brson
Copy link
Contributor Author

brson commented Mar 28, 2014

@thestinger This may impact your arch nightlies or rusti. Both before and after install it does a sanity check that the bins are executable. This can be disabled for make install with --disable-verify-install.

@brson brson mentioned this pull request Mar 29, 2014
bors added a commit that referenced this pull request Mar 29, 2014
@bors bors closed this Mar 29, 2014
@bors bors merged commit 2161719 into rust-lang:master Mar 29, 2014
JohnTitor pushed a commit to JohnTitor/rust that referenced this pull request Sep 6, 2022
fix: correct broken logic for return complition

It seems that we've accidentally deleted the tests here couple of years
ago, and then fairly recently made a typo during refactor as well.

Reinstall tests, with coverage marks this time :-)
Jarcho pushed a commit to Jarcho/rust that referenced this pull request Aug 24, 2024
…ndoo

Add settings menu on clippy lints page

It looks like this (when the menu is expanded):

![Screenshot from 2024-08-06 21-36-41](https://github.com/user-attachments/assets/c464aef3-b21e-48cc-8e3a-c32a134f995e)

Follow-up of rust-lang/rust-clippy#13178.

Someone pointed out that they should be able to disable the shortcuts on this page like it's the case for rustdoc and docs.rs. So here we go.

The first commit moves the style into its own file: it's much better for a web browser because it can then cache it.

The second one actually adds the new settings menu you can see above.

r? `@Alexendoo`

changelog: Add settings menu on clippy lints page
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants