Wozu dient eine Cabal-Weltdatei?

8

Welche Rolle spielt die ~/.cabal/world -Datei und was bedeuten ihre Inhalte? Ich kann keine Dokumentation finden und bin verwirrt von dem, was ich dort sehe.

Zum Beispiel entspricht es weder den Paketen in meiner Benutzerdatenbank noch meiner globalen Paketdatenbank, und obwohl es nur einige der Pakete in meiner Benutzerdatenbank zu listen scheint, listet es einige auf, die ich "entfernt" habe "mit ghc-pkg unregister .

    
orome 04.10.2015, 14:01
quelle

1 Antwort

8

Soweit mir bekannt ist, wird es automatisch mit jedem Paket gefüllt, das Sie explizit angefordert haben (einschließlich fehlgeschlagener Installationen). Dies bedeutet, dass Sie, wenn Sie es auf einen anderen Computer kopieren,

ausführen können %Vor%

zielen darauf ab, Ihr aktuelles Setup zu replizieren.

Natürlich können Sie die Registrierung eines Pakets hinter cabals Rückseite aufheben, und es wird nicht wissen, dass es aus Ihrer world -Datei gelöscht werden soll.

(Abhängigkeiten werden ebenfalls installiert, aber ich sollte betonen, dass sich Hacks in der Zwischenzeit weiter entwickelt haben und dass, wenn Sie eine reproduzierbare Installation wünschen, es wahrscheinlich einfacher ist, das Stack-Tool zu verwenden, welches dieses als eines seiner Hauptdesigns hat Ziele.)

    
AndrewC 04.10.2015, 14:39
quelle

Tags und Links