愛用のはてダラはファイル形式で配布されていなくて、HTMLからコピペしないと使えない。 面倒なので抽出スクリプトをsedで書いてしまおう。 #!/usr/bin/sed -n -f /<div class="display"><pre>#!/,/<\/pre>/{ s/^<div class="display"><pre>//g s/&gt;/>/g s/&lt;/</g s/&quot;/"/g s/&amp;/&/g /<\/pre><\/div>/d p } &gt;などのおきかえが必要なのが、…