xFrednet
96a9786b1c
Fixed broken deploy script due to multiline configuration docs
2021-06-20 22:32:32 +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
Cameron Steffen
499813026f
Fix config parsing
2021-05-02 17:50:22 -05:00
xFrednet
7e90bb671a
Fixed website inline code background
2021-04-14 20:06:26 +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
Cameron Steffen
cbf9d492b9
Fix some website syntax highlighting
2021-01-26 17:38:52 -06:00
xFrednet
f055e7f2e9
Fixed a value spelling mistake
2020-12-22 20:02:59 +00: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
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
flip1995
27ddde561e
Filter out PRs with changelog: none
2019-08-12 09:38:52 +02:00
Andy Russell
4ce100beb2
don't strip blank lines in lint documentation
2019-06-23 16:21:43 -04:00
Andy Russell
fe96ffeac9
move lint documentation into macro invocations
2019-03-05 18:45:08 -05:00
Martin Taibr
3f7d0c8d75
Use the same <title> as <h1> on gh-pages
2019-02-28 19:17:10 +01:00
Michael Howell
67f50661eb
Use normal HTML label semantics for filter
...
I legitimately don't understand why you did it with ARIA instead.
2019-02-16 13:16:50 -07:00
Matthias Krüger
246b9e7aed
fetch_prs_between: add .sh file ending
2019-01-29 20:00:45 +01:00
Philipp Hansch
1adc35703f
Add script to fetch GitHub PRs between two commits
2019-01-25 18:07:50 +01:00
Philipp Hansch
38d4ac7cea
Remove all copyright license headers
...
Discussion previously happened in https://github.com/rust-lang/rust/pull/43498
2019-01-08 21:46:39 +01:00
Matthias Krüger
f5929e0797
rust-lang-nursery/rust-clippy => rust-lang/rust-clippy
2018-11-22 04:40:09 +01:00
Philipp Hansch
90f31e21ab
RIIR update lints: Add check mode (update_lints.py rewrite complete)
...
This finishes up the rewrite of `update_lints.py` in Rust. More
specifically, this
* adds the `--check` flag and handling to clippy_dev
* tracks file changes over the different calls to `replace_region_in_file`
* only writes changes to files if the `--check` flag is *not* used
* runs `./util/dev update_lints --check` on CI instead of the old script
* replaces usage of the `update_lints.py` script with an error
`./util/dev update_lints` behaves 99% the same as the python script.
The only difference that I'm aware of is an ordering change to
`clippy_lints/src/lib.rs` because underscores seem to be sorted
differently in Rust and in Python.
🏁
2018-11-05 07:18:47 +01:00
Philipp Hansch
64bd658516
RIIR update lints: Generate deprecated lints
...
The update script now also generates the 'register_removed' section in
`clippy_lints/src/lib.rs`.
Also, instead of using `let mut store ...`, I added a new identifier
line so that the replacement will continue to work in case `let mut
store ...` ever changes.
2018-10-31 08:03:50 +01:00
Park Juhyung
4c88362a9d
Website: Make lint categories linkable
...
Fixes #2973
2018-10-15 22:36:35 +09:00
Philipp Hansch
a16edf84ce
Merge pull request #3265 from mikerite/fix-export
...
Fix util/export.py to include lints from methods
2018-10-08 07:22:09 +01:00
Manish Goregaokar
23e5e24f52
Add license header to other files
2018-10-06 09:43:08 -07:00
Michael Wright
e5b388d865
Fix util/export.py to include lints from methods
2018-10-05 08:04:14 +02:00
Michael Wright
f01fa227c0
Fix update_lints.py for dir modules
2018-09-30 06:25:23 +02:00
Philipp Hansch
35f100b4f9
update_lints rewrite: Add structure and --print-only
2018-09-03 22:18:51 +02:00
Philipp Hansch
8e0de3d120
Merge remote-tracking branch 'upstream/master' into prs
2018-09-02 11:05:49 +02:00
flip1995
bb49b31254
Adapt scripts to the tool_lints
2018-08-29 11:08:29 -07:00
Ivan Tham
340500ede5
Fix typo for panel cursor
2018-08-28 10:24:21 +08:00
flip1995
efeed9aefc
Remove unused code
2018-08-22 17:47:54 +02:00
Matthias Krüger
7ded77fe7d
update_lints.py: port another print to print() for python3 compatibility.
2018-08-12 11:33:44 +02:00
David Vo
9bb68b84ab
lintlib: Use Python 3 compatible print
...
Ref: #2882
2018-08-09 17:29:22 +10:00
Matthias Krüger
2665f10662
fix a bunch of typos found by codespell
2018-07-25 20:02:52 +02:00
Philipp Hansch
0961c692fa
s/wiki/lint list/
2018-07-25 08:22:52 +02:00
