小さなツール
Safariだけでなく、いろんなサイトにも対応するようにした。 全体のスクリプトはこっち--> http://gist.github.com/6008231. HtmlMergerというクラスを作った。 class HtmlMerger def initialize(header_height = 0, footer_height = 0) @en_header = heade…
変更点1.<pre>〜</pre>内部で、行頭のスペースを、 に変換、行末に<br/>を付けるように変更。 2.引数が一個与えられた場合は、与引数でディレクトリを作成する。そして、元のHTMファイルやディレクトリを全部、そのディレクトリに移動する。globalstyle.cssはコピー</br/>…
オライリーのSafariというサイトは、オンラインで書籍を読める。ファイルをページごとにHTML形式でローカルにダウンロードして、それをマージするというスクリプトをRubyで描いてみた。 require "fileutils" mergedFile = "hogehoge1.html" File.delete(merg…
import java.io.File object Mp42m4a { def main (args: Array[String]) { if (args.length == 1) traverse(args(0)) } private def traverse(path: String): Unit = { val target = new File(path) if (!target.exists()) { println(path + " not exists");…