📄 extractvocab.awk
字号:
$1 == "WORD" { vocab[$2] = $2; }NF == 1 { vocab[$1] = $1; }NF > 1 && $1 == "<s>" { ok = 1; for (i = 1; i <= NF; i++) { if (!($i in vocab)) { # print " ok: " $1 ok = 0; } } if (ok) { print $0; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -