ChromeのDeveloper Toolsの$x()とcopy()

ChromeのDeveloper Toolsで、$x()でXPathによる要素の抜き出しができるのと、copy()でクリップボードにコピーができるのを把握したのでメモ。

たとえば、
http://ja.wikipedia.org/wiki/%E6%97%A5%E6%9C%AC%E3%81%AE%E6%BC%AB%E7%94%BB%E5%AE%B6%E4%B8%80%E8%A6%A7 のページでコンソール開いて

a = $x('//*[@id="mw-content-text"]/ul/li/a/text()');
b = [];
a.forEach(function(item,idx,arr){ b.push(item.nodeValue); });
copy(b.join("\n"));

とすると、クリップボードにページ上の漫画家の名前がずらっとコピーできる（余計なものもちょっとつくけど）。