1.有些网页没做好特殊字符的转换,而是用类似5的样式显示,用string.gsub可以轻松的替换它们
local f=io.open("yourinput.txt", "r");
local txt=f:read("*all");
--print(txt);
ntxt=string.gsub(txt, "&#(.-);", function(i) return string.char(i); end);
print(ntxt);
f:close();
1.有些网页没做好特殊字符的转换,而是用类似5的样式显示,用string.gsub可以轻松的替换它们
local f=io.open("yourinput.txt", "r");
local txt=f:read("*all");
--print(txt);
ntxt=string.gsub(txt, "&#(.-);", function(i) return string.char(i); end);
print(ntxt);
f:close();