//在文件中查找替换
//grepWinNP3.exe 是 Notepad3 的插件
import process;
import sevenZip.lzma.httpFile;
//参考: aardio安装目录\tools\5)文本文件\2.gfie.aardio
var grepPath = "~\download\tools\grepWinNP3\grepWinNP3.exe";

if(!io.exist(grepPath)){
	var url = "https://gitee.com/jim4us/aardio-grepwinnp3/raw/master/grepWinNP3.tar.lzma";
	//远程下载并安装 grepWinNP3
	/*NOTE: 下载后解压可能会不成功(下载成功但提示文件大小为0), 解决方法:
		将aardio库文件 "~/lib/inet/httpFile.aardio" 第261行由:
			this.contentLength = this.totalContentLength;
		改为:
			this.contentLength = this.totalContentLength  : this.file.size();
	*/ 
	var ret = sevenZip.lzma.httpFile.download(url
		, "正在下载文件查找/替换工具：grepWinNP3"
		, "~/download/tools/grepWinNP3-temp", "~/download/tools/"
	);

	import fsys;
	fsys.delete("~/download/tools/grepWinNP3-temp/");
}

process.execute(grepPath);