一个批处理工具,可自动替换某文件中指定的字符串为用户输入的