Add postgrest-docs-dictcheck to remove obsolete words from postgrest.dict
This commit is contained in:
committed by
Wolfgang Walther
parent
b83ee94fae
commit
84e5597091
+15
@@ -57,4 +57,19 @@ in
|
|||||||
| tee misspellings
|
| tee misspellings
|
||||||
test ! -s misspellings
|
test ! -s misspellings
|
||||||
'';
|
'';
|
||||||
|
|
||||||
|
# dictcheck detects obsolete entries in postgrest.dict, that are not used anymore
|
||||||
|
dictcheck =
|
||||||
|
pkgs.writeShellScriptBin "postgrest-docs-dictcheck"
|
||||||
|
''
|
||||||
|
set -euo pipefail
|
||||||
|
|
||||||
|
FILES=$(find . -type f -iname '*.rst' | tr '\n' ' ')
|
||||||
|
|
||||||
|
cat postgrest.dict \
|
||||||
|
| tail -n+2 \
|
||||||
|
| tr '\n' '\0' \
|
||||||
|
| xargs -0 -n 1 -i \
|
||||||
|
sh -c "grep \"{}\" $FILES > /dev/null || echo \"{}\""
|
||||||
|
'';
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -9,7 +9,6 @@ balancer
|
|||||||
Bool
|
Bool
|
||||||
cd
|
cd
|
||||||
centric
|
centric
|
||||||
Codd
|
|
||||||
conf
|
conf
|
||||||
config
|
config
|
||||||
cryptographically
|
cryptographically
|
||||||
@@ -70,7 +69,6 @@ OpenAPI
|
|||||||
openapi
|
openapi
|
||||||
ORM
|
ORM
|
||||||
ov
|
ov
|
||||||
PaaS
|
|
||||||
param
|
param
|
||||||
params
|
params
|
||||||
passphrase
|
passphrase
|
||||||
@@ -108,7 +106,6 @@ SQL
|
|||||||
sql
|
sql
|
||||||
sr
|
sr
|
||||||
SSL
|
SSL
|
||||||
startup
|
|
||||||
stateful
|
stateful
|
||||||
stdout
|
stdout
|
||||||
SuperAgent
|
SuperAgent
|
||||||
@@ -130,5 +127,4 @@ Vondra
|
|||||||
WAI
|
WAI
|
||||||
Websockets
|
Websockets
|
||||||
webuser
|
webuser
|
||||||
wildcard
|
|
||||||
ZeroMQ
|
ZeroMQ
|
||||||
|
|||||||
Reference in New Issue
Block a user