diff options
author | Einhard Leichtfuß | 2018-12-27 18:55:44 +0100 |
---|---|---|
committer | Einhard Leichtfuß | 2018-12-27 19:06:40 +0100 |
commit | dd137b37a572f28510be3cd7a74ec538ef692689 (patch) | |
tree | 1b30d22a8f47fe36c257aa456a72bffa23c84789 /check.sed | |
parent | 8fe66d46bef882a390ba637a2be9a2172cd3f423 (diff) | |
download | aur-dd137b37a572f28510be3cd7a74ec538ef692689.tar.gz |
Add a few fixes to the dictionary source
A large part is derived from a diff between 0.48 and Debian's 0.48.5.
Also,
- split the sed script into one to be executed initially and another one
after webfilter.
- Use Debian's 0.48.5 instead of 0.48.4 (does not change much).
- Correctly set the version of the dictionary (as written by `dict -D').
- Do not patch the Makefile but execute the commands directly.
- Simplify prepare() and build().
- Add a check function.
Diffstat (limited to 'check.sed')
-rwxr-xr-x | check.sed | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/check.sed b/check.sed new file mode 100755 index 000000000000..002fbbc5c84c --- /dev/null +++ b/check.sed @@ -0,0 +1,27 @@ +#!/usr/bin/env -S sed -nEf + +# Small sed script to find (possible) problems. +# Particularly to be used on update to a new gcide version. +# +# To be run before webfmt. +# For each test, below the action formerly in post_webfmt.sed. +# - disregarding whether it is a good one or not. +# +# If this script prints anything, webfmt probably fails. +# + + +\`<col>([^<]*),? <cd>([^<]*)</col>` p +#s`<col>([^<]*),? <cd>([^<]*)</col>`<col>\1</col>, <cd>\2`g + +\`<qau>([^<]*)(<break>)` p +#s`<qau>([^<]*)(<break>)`<qau>\1</qau>\2` + +\`^([^<]*)</qau>` p +#s`^([^<]*)</qau>`\1` + +\`^([^<]*)</au>` p +#s`^([^<]*)</au>`\1` + +\`</>` p +#s`</>``g |