Vadim Zeitlin
90ac5eeb6a
Let shell expands $HOME in GitHub workflow
...
Apparently $HOME doesn't get expanded otherwise, resulting in "codespell
not found" error.
2020-07-18 19:49:21 +02:00
Vadim Zeitlin
e875b11f74
Run codespell from a separate script in GitHub workflow
...
This allows to give a more detailed error message in case of a problem
and also makes it simpler to run the spell check locally.
2020-07-18 19:42:48 +02:00
Vadim Zeitlin
0744cd14a1
Try using Python 3 for codespell
...
Running it using Python 2 seems to result in a problem with not matching
an exclusion line with non-ASCII character, which works fine with Python
3 locally.
2020-07-13 17:38:01 +02:00
Vadim Zeitlin
77e1e6330b
Run codespell from where it is installed by pip
...
And disable the (useful) warning about this directory not being in PATH.
2020-07-13 17:35:30 +02:00
Vadim Zeitlin
d432b1a685
Try installing codespell 1.17.1 via pip
...
The 1.16 version available in Ubuntu 20.04 doesn't work nearly as well
as the latest one.
2020-07-13 17:30:47 +02:00
Vadim Zeitlin
1fcdaa7f22
Combine all values of codespell --skip option into one
...
codespell 1.17.1 from Debian Sid accepts multiple -S options, but 1.16
in Ubuntu 20.04 doesn't seem to like them.
2020-07-13 17:25:18 +02:00
Vadim Zeitlin
e4a826d250
Add GitHub workflow checking spelling for headers and docs
...
Run codespell using GitHub Actions to flag any new spelling errors.
2020-07-13 17:19:26 +02:00
Bryan Petty
ed173ed91e
Use HTTPS with Trac links.
2017-07-04 13:15:14 -06:00
Vadim Zeitlin
f4c136815a
Rename directory with Github-specific files to the correct name
...
It must start with a leading dot (thanks Bryan).
2016-02-19 01:56:18 +01:00
