xenia/kakoune
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rc spell: Re-implement message processing in Awk

Browse Source 
Plain shell takes too long on large files.

Fixes #3399
This commit is contained in:
Frank LENORMAND 2020-03-09 14:22:34 +03:00
parent 6766297623
commit e83ad2a2a4
1 changed files with 42 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

69
rc/tools/spell.kak
View File

@ -37,33 +37,48 @@ define-command -params ..1 -docstring %{
fi fi
{ {
sed 's/^/^/' "$kak_opt_spell_tmp_file" | eval "aspell --byte-offsets -a $options" 2>&1 | { sed 's/^/^/' "$kak_opt_spell_tmp_file" | eval "aspell --byte-offsets -a $options" 2>&1 | awk '
line_num=1 BEGIN {
regions=$kak_timestamp line_num = 1
while read -r line; do regions = ENVIRON["kak_timestamp"]
case "$line" in server_command = sprintf("kak -p \"%s\"", ENVIRON["kak_session"])
@\(\#\)*) }
# drop the identification message
;; {
[\#\&]*) if (/^@\(#\)/) {
if expr "$line" : '^&' >/dev/null; then /* drop the identification message */
pos=$(printf %s\\n "$line" | cut -d ' ' -f 4 | sed 's/:$//') }
else
pos=$(printf %s\\n "$line" | cut -d ' ' -f 3) else if (/^\*/) {
fi /* nothing */
word=$(printf %s\\n "$line" | cut -d ' ' -f 2) }
# trim whitespace to make `wc` output consistent across implementations
len=$(($(printf %s "$word" | wc -c))) else if (/^$/) {
regions="$regions $line_num.$pos+${len}|Error" line_num++
;; }
'') line_num=$((line_num + 1));;
\*) ;; else if (/^[#&]/) {
*) printf 'fail %s\n' "${line}" | kak -p "${kak_session}";; word_len = length($2)
esac word_pos = substr($0, 1, 1) == "&" ? substr($4, 1, length($4) - 1) : $3;
done regions = regions " " line_num "." word_pos "+" word_len "|Error"
printf 'set-option "buffer=%s" spell_regions %s' "${kak_bufname}" "${regions}" \ }
| kak -p "${kak_session}"
} else {
line = $0
gsub(/"/, "&&", line)
command = "fail \"" line "\""
exit
}
}
END {
if (!length(command))
command = "set-option \"buffer=" ENVIRON["kak_bufname"] "\" spell_regions " regions
print command | server_command
close(server_command)
}
'
rm -rf $(dirname "$kak_opt_spell_tmp_file") rm -rf $(dirname "$kak_opt_spell_tmp_file")
} </dev/null >/dev/null 2>&1 & } </dev/null >/dev/null 2>&1 &
} }