SORU
21 AĞUSTOS 2012, Salı


Cabal paketleri FUBAR; nasıl onları Temizle ve baştan başlayabilir miyim?

Unuttum sağlamak bina libs için profilleme benim ~/.cabal/config yüklemeden önce bir sürü paket üzerinde yeni makine ve şimdi --reinstall world denemek için düzeltme durumu var sol her şey kırık (doğal olarak).

Zamanımı daha iyi kullanmak sadece her şeyi temizlemek için olduğunu düşünüyorum. Ne kadar doğru yapıyorum?

CEVAP
21 AĞUSTOS 2012, Salı


Cabal yok takip edin ne oldu, yüklü, sadece kullanır dzd kütüphane mekanizması (veya başka bir derleyici değilsen kullanarak dzd), kullanabilirsiniz rm -r ~/.ghc Kaldır tüm yerel olarak yüklü kütüphaneler.

Eğer birden fazla dzd varsa yüklü ve sadece belirli bir dzd için libs kaldırmak, alt kaldırmak istediğiniz herhangi bir karşılık silmek istiyor.
Örneğin, rm -r ~/.ghc/x86_64-linux-7.6.0.20120810 dzd-7.6.0 için yükledim her şey çıkarabilirim
Ayrıca eğer isterseniz bu sizin ghci_history korumak için kullanabilirsiniz.

ll ~/.ghc/
total 24
-rw-r--r-- 1 johnl johnl 2300 Aug 21 11:47 ghci_history
drwxr-xr-x 3 johnl johnl 4096 Jun 17 19:09 x86_64-linux-6.12.3
drwxr-xr-x 3 johnl johnl 4096 May 17 08:17 x86_64-linux-7.2.1
drwxr-xr-x 3 johnl johnl 4096 May 16 17:34 x86_64-linux-7.4.1
drwxr-xr-x 3 johnl johnl 4096 Jun 15 08:21 x86_64-linux-7.4.2
drwxrwxr-x 3 johnl johnl 4096 Aug 15 12:37 x86_64-linux-7.6.0.20120810

Edit: ~/.cabal/world kullanıcı tarafından belirtilen sürüm kısıtlamaları ile yüklü paketlerin listesini. Çoğu durumda, örneğin mtl -any vardır. Eğer tarafından cabal install mtl-2.1.1 amir gibi belirli sürümleriyle paketleri, yükledim bu sürümü kaydeder. Dünya dosya silmek ve baştan başlamak, ya da olmalıdır, ya da üzerinden bakmak ve bağımlılıklarını kabul edilirse, sadece cabal install world çalışan deneyebilirsiniz. Ya da bunu görmezden ve cabal dünya destek (yaptığım bu) kullanmayın.

Bunu Paylaş:
  • Google+
  • E-Posta
Etiketler:

YORUMLAR

SPONSOR VİDEO

Rastgele Yazarlar

  • Branboy3

    Branboy3

    12 AĞUSTOS 2012
  • Hidden Wolf TV

    Hidden Wolf

    1 EKİM 2009
  • Michael Lummio

    Michael Lumm

    25 Mayıs 2007