What have you found for these years?

2009-10-12

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 進去,
這樣就算他不支援,我自己看看也能弄到支援就是了。
我想這是讓他繼續跑的主因之一吧?

0 retries:

Post a Comment

All texts are licensed under CC Attribution 3.0