Commit graph

143 commits

Author SHA1 Message Date
Andrew Archibald 65c072d7e6 Update markdown-it version 2022-01-13 20:01:56 -07:00
xFrednet 17b747857f
Add margin after lists on Clippy's lint list 2021-12-03 20:24:23 +01:00
xFrednet 8c45fd88d0
New internal lint to make clippy::version attribute mandatory 2021-11-11 13:03:30 +01:00
xFrednet d68408f4ad
Updated version label and style on Clippy's lint list 2021-11-10 19:48:32 +01:00
xFrednet 8565fc468e
Add clippy version to Clippy's lint list 2021-11-10 19:48:30 +01:00
Michael Wright 6035e050e8 Add includes to pre-commit hook 2021-09-29 05:46:43 +02:00
Philipp Krones bcdf147aaf
Rollup merge of #7298 - flip1995:ci-switch-to-monster, r=xFrednet,flip1995
Switch CI to new metadata collection

r? `@xFrednet`

Things we have to keep in mind:

- This removes the template files and the scripts used for deployment from the checkout. This was added in #5517. I don't think we ever needed those there. Not sure though.
- ~~As a result, we can't remove the python scripts yet. We have to wait until this hits a stable Clippy release.~~ I'll just break the next stable deploy and do it by hand once.
- This should be merged together with #7279. Me and `@xFrednet` will coordinate the switch
- ...?

I still have to try out some things:

- [x] Is it worth caching? Yes
- [x] ~~Is it worth to do a release build?~~ Nope
- [x] Does it actually work? With a few changes, yes
- [ ] ...?

changelog: Clippy now uses a lint to generate its documentation 🎉
2021-07-28 15:06:26 +02:00
xFrednet 322a768c77
Adapting the lint list to Clippy's new metadata format
Changes included:
    - Minimum adaption to the new `lints.json` format
    - Fixing filtering for the new `lints.json` format; hardcoding the
      lint groups in the index
    - Recreating the original doc styling for the new format
    - Fixed sytax highlighting for rust,ignore code blocks
    - Fixed markdown table extraction in the metadata collector and
      fixed lint level output
    - Adding the additional information row for lints
    - Changed the website title to Clippy's lint list
    - Flexing the website for mobile users
    - Added (?) references for lint levels and groups
    - Making deprecated lints look dead
    - Removed JS code block language extraction in favor of a rust
      implementation `rust-clippy#7352`
    - Added the suspicious lint group to the lint list
    - Remove trailing whitespaces from index.html
    - Fix code highlighting
    - Use default value if the docVersion is empty

Co-authored-by: Philipp Krones <hello@philkrones.com>
2021-07-28 15:03:55 +02:00
flip1995 fe25282aaa
Remove old python lint doc generation scripts 2021-07-28 14:18:40 +02:00
flip1995 a82a744155
Merge remote-tracking branch 'upstream/master' into rustup 2021-07-01 17:41:24 +02:00
bors f4bc9cf390 Auto merge of #7409 - xFrednet:5394-vs-code-tasks, r=giraffate,flip1995
Added `cargo dev setup vscode-tasks` for simplicity

This PR adds a setup command to `clippy dev` that installs tasks into the Clippy vscode workspace. These might be useful as they be used via shortcuts and are accessible over the GUI. The available tasks are:
* `cargo check` (standard Linux shortcut `[ctrl] + [shift] + b`)
* `cargo dev fmt`
* `cargo uitest` (with a comment how to add the `TESTNAME` environment value)
* `cargo test`
* `cargo dev bless`

---

changelog: none

only internal changes again. cc #5394

r? `@flip1995` This should be pretty much the same as the other `cargo dev setup` commands. Would you mind reviewing this? 🙃
2021-06-29 08:53:59 +00:00
xFrednet e40019134b Updated clippy_dev ui message and vscode task name
Co-authored-by: Takayuki Nakata <f.seasons017@gmail.com>
2021-06-28 20:40:09 +02:00
xFrednet 2098b27a20 Added cargo dev setup vscode-tasks for simplicity 2021-06-27 22:36:41 +02:00
Cameron Steffen 7e21db5b5c Add suspicious group 2021-06-25 08:53:29 -05:00
xFrednet 41bc0f4d4d
Adjust pre-commit script to readd files after formatting 2021-06-25 11:16:59 +02:00
xFrednet 0a5f28c4b0
Added cargo dev setup git-hook 2021-06-25 11:16:59 +02:00
Alexander Melentyev dab42cff02 Delete spaces 2021-06-21 12:11:37 +03:00
xFrednet 96a9786b1c Fixed broken deploy script due to multiline configuration docs 2021-06-20 22:32:32 +02:00
flip1995 6c27482115 Merge commit '3ae8faff4d46ad92f194c2a4b941c3152a701b31' into clippyup 2021-06-03 08:41:37 +02:00
flip1995 f49251a33e
Remove util/cov.sh script
This script hasn't been working and wasn't used for years.
2021-05-31 17:09:21 +02:00
flip1995 d605882023 Merge commit 'b71f3405606d49b9735606b479c3415a0ca9810f' into clippyup 2021-05-06 12:20:44 +02:00
Cameron Steffen 499813026f Fix config parsing 2021-05-02 17:50:22 -05:00
flip1995 02bf692169 Merge commit '98e2b9f25b6db4b2680a3d388456d9f95cb28344' into clippyup 2021-04-22 11:31:13 +02:00
xFrednet 7e90bb671a Fixed website inline code background 2021-04-14 20:06:26 +02:00
flip1995 f6d1f368db Merge commit 'b40ea209e7f14c8193ddfc98143967b6a2f4f5c9' into clippyup 2021-04-08 17:50:13 +02:00
xFrednet da04e873b3 Quick fix to access the correct css files 2021-04-04 20:15:41 +02:00
xFrednet e25b1060f5 Adding a dark theme to the clippy lint list 2021-04-04 15:36:30 +02:00
flip1995 ac912be984 Merge commit '95c0459217d1661edfa794c8bb122452b92fb485' into clippyup 2021-01-30 18:06:34 +01:00
Cameron Steffen cbf9d492b9 Fix some website syntax highlighting 2021-01-26 17:38:52 -06:00
flip1995 ba4bf4f9c5 Merge commit '1fcc74cc9e03bc91eaa80ecf92976b0b14b3aeb6' into clippyup 2021-01-02 16:29:43 +01:00
xFrednet f055e7f2e9 Fixed a value spelling mistake 2020-12-22 20:02:59 +00:00
flip1995 f03edfd7a1 Merge commit '4911ab124c481430672a3833b37075e6435ec34d' into clippyup 2020-12-20 17:19:49 +01:00
xFrednet 97f5db97c4 Website issue tracker link and better search performance
* last minor improvements
2020-12-20 16:14:24 +00:00
xFrednet 2814ee4840 Adapted the website search for better matching
* Formatting
2020-12-19 16:28:16 +00:00
Jack Huey 0e2f5c9862 Fix nit and cargo.lock 2020-05-07 17:46:31 -04:00
Philipp Hansch 8d596ea01c
Remove util/dev script
`cargo dev` has been the replacement for a while, so I think we can
remove it now.

cc #5394
2020-04-26 14:00:03 +02:00
Philipp Hansch 90d8b6354e
util/fetch_prs_between.sh: Add Markdown formatted Link
This can then be easily copy/pasted into the changelog 💙
2020-04-20 21:08:55 +02:00
ThibsG 629cc4ada3 Update doc generation script 2020-04-09 09:17:41 +02:00
flip1995 aa1ad42736
Also deploy from the beta branch 2020-03-25 20:20:54 +01:00
flip1995 a1dc609f21
Fix documentation generation for configurable lints 2020-03-22 18:15:06 +01:00
flip1995 0f7918266f
Rename current -> stable 2020-02-14 12:03:48 +01:00
flip1995 2044931cbe
Better version ordering of documentation 2020-02-13 17:59:37 +01:00
flip1995 5e03d5bb06
Sort versions in json output 2020-02-13 17:59:37 +01:00
flip1995 935b94d80b
Sort output of export.py script 2020-02-12 09:34:27 +01:00
Philipp Hansch 4d1a11d354
Deprecate util/dev in favor of cargo alias
If you've been using `./util/dev` before, this now becomes `cargo dev`.

The key part of this change is found in `.cargo/config`.

This means one less shell script and a bit more cross-platform support
for contributors.
2020-01-30 21:34:31 +01:00
Lzu Tao f3ace5e71d build: use shared target dir 2019-10-22 16:16:01 +07:00
Lzu Tao b869eeb2a4 build: improve script and travis config
* fix a diff failure on windows

See https://travis-ci.com/rust-lang/rust-clippy/jobs/245971932#L1625
for an example.

* use cmp instead of diff > /dev/null

* clone single branch instead of clone then checking out

* do not decrypt key if have no diff change
2019-10-22 10:14:39 +07:00
flip1995 2dc7727bcd
Also fetch rollup merges in fetch_prs_between.sh script 2019-08-28 13:53:56 +02:00
Jeremy Stucki df211ff467
Ignore lines starting with '#' 2019-08-18 18:04:18 +02:00
Philipp Hansch 781794d49f
Remove util/update_lints.py
This has been deprecated for ~10 months, so I think it's fine to remove now.
2019-08-15 17:43:30 +02:00