darcs pull が遅い件
darcs pullが遅すぎて作業にならなくなった．
なんとなくではあるが，
- 時間的に古いパッチ列の間に時間的に新しいパッチ（基本的にconflictを解消するためのパッチ）をはさむ．
- darcs unread
というのがパフォーマンスに悪影響を与えている気がする．
とりあえず，途中までのパッチを一つにまとめて，そいつを適用したところから始めてみた．
確かに，待てない状況は解消された．ふむ．ADHOCだけどこの作戦で行くことにする．
darcs pullが遅すぎて作業にならなくなった．
なんとなくではあるが，
というのがパフォーマンスに悪影響を与えている気がする．
とりあえず，途中までのパッチを一つにまとめて，そいつを適用したところから始めてみた．
確かに，待てない状況は解消された．ふむ．ADHOCだけどこの作戦で行くことにする．