darcs-to-git

總覺得幹了蠢事...
> sudo port install darcs
...結果需要升級 ghc @@
早知道就用舊版 darcs 就好了，
macports 這樣老實講還滿困擾的！
darcs 可能只是改了一點東西，結果整個 ghc 要重灌 :s
好在好像只跑了兩個多小時就跑完了，沒記錯的話。
倒是把 perl 也重灌的時間算進去應該就有三小時了...

> darcs get --lazy http://code.haskell.org/Agda

幾分鐘抓完吧？然後發神經想把 darcs 轉成 git,
google 到這個：
http://github.com/purcell/darcs-to-git

> ../darcs-to-git/darcs-to-git ../Agda

.......等好久，我都懷疑是不是當掉了？可能有一個小時？
接著好不容易開始有訊息了，開始有... 從 2005 的 patch
開始轉成 commit, 每一個 patch 大概要 1~3 秒 @@
果然有得等了，跑到現在應該超過六個小時了... 現在還在 2007.

到 2009 可能要到天亮吧 〒口〒

只是跑下去了，也捨不得關掉。
不知道這能不能把新的 patch 也丟進去？
看他的用法說明，好像是只能轉整個啊？
如果不能繼續 patch 的話就不能做 mirror,
不能做 mirror 的話這樣做就沒什麼意義了。

但看起來他都是用很簡單的現有工具，一個個 commit 進去，
這樣就算他不支援，我自己看看也能弄到支援就是了。
我想這是讓他繼續跑的主因之一吧？