GM脚本的动态部署问题

大家应该都玩过greasemonkey吧？我试着写一个ant脚本把复制到gm路径里，但是显然在浏览器端刷新的时候并gm并没有更新相关脚本信息。难道只在内存中？重启浏览器才有效？无奈，求助各位大侠。

Jacky-Q：大家应该都玩过greasemonkey吧？我试着写一个ant脚本把复制到gm路径里，但是显然在浏览器端刷新的时候并gm并没有更新相关脚本信息。难道只在内存中？重启浏览器才有效？无奈，求助各位大侠。回到原帖

没太弄明白你要说的意思，是想用ant脚本把gm脚本复制到GM的脚本目录吗？ 如是，好像需要同时修改GM脚本目录下的config.xml文件。

但是如果更新的是同名js，并且首选项不变的话，config.xml根本不用做改动啊。因为config.xml只记录这些东西.

Jacky-Q：但是如果更新的是同名js，并且首选项不变的话，config.xml根本不用做改动啊。因为config.xml只记录这些东西.回到原帖

我给自己的config.xml文件手动增加了一个script tag，然后在同目录新建了一个与tag中内容完全匹配的脚本，然后新开一个tab，脚本得到了运行。 所以应该是可行的。可能是你的config.xml里对应文件的那个标签的属性参数和真正的文件不匹配，所以得不到运行。

确实是可以。
是我犯错了，在properties文件中习惯性地给gm脚本路径加了个";"号....
啊,鄙视自己一千遍.