2018-01-22 09:49:30 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2018-02-01 03:05:34 +00:00
|
|
|
git --no-pager grep -nHiE 'l[ightn]{6}g|l[ightn]{8}g|ilghtning|lgihtning|lihgtning|ligthning|lighnting|lightinng|lightnnig|lightnign' -- . ':!tools/check-spelling.sh'
|
2018-01-22 09:49:30 +00:00
|
|
|
if [[ $? == 0 ]]; then
|
|
|
|
|
echo "Identified a likely misspelling of the word \"lightning\" (see above). Please fix."
|
|
|
|
|
echo "Is this warning incorrect? Please teach tools/check-spelling.sh about the exciting new word."
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
