📄 bytelog-to-log10.gawk
字号:
#!/usr/local/bin/gawk -f## bytelog-to-log10 --# convert bytelog scores to log-base-10## $Header: /home/srilm/devel/utils/src/RCS/bytelog-to-log10.gawk,v 1.1 1997/04/22 20:20:41 stolcke Exp stolcke $#BEGIN { logscale = 2.30258509299404568402 * 10000.5 / 1024.0; scale = 1;}{ for (i = 1; i <= NF; i ++) { if ($i ~ /^[-+]+[0-9][0-9]*$/) { $i = $i / scale / logscale; } } print;}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -