変更があったらブラウザを自動リロードするブックマークレット

複数のファイルを指定してどれかが変更されてればリロードできるようにした。
キャンセルを押すまでファイル指定して使う。

javascript: (function () {
if (!location.href.indexOf("http://")) {
    alert("not local file");
    return;
}
    
var func = function hook(name) {
    setInterval(function() {
	var self = arguments.callee;
	var req = new XMLHttpRequest();
	req.open("GET", name, true);
	req.onload = function() {
	    (self.old && req.responseText != self.old) && window.doc.location.reload(true);
	    self.old = req.responseText;
	};
	req.send(null)
    }, 1000);
}.toString();
    
var script = [];
script.push('<script type="text/javascript">');
script.push("(function () {");    
script.push(func);
var name;
while (name = prompt("hook file:", location.href)) {
    script.push('hook("' + name + '");');
}
script.push("})();");    
script.push("</script>");
    
document.write(script.join("\n") + '<frameset><frame name="doc" src="' + location.href + '"></frame></frameset>');        
document.close();
})();    

参考

Firefox での開発を高速化する自動リロードスクリプト