Der Parameter executable-profiling scheint irgendwann in profiling umbenannt worden zu sein. Es gibt noch einige andere Änderungen an den Konfigurationsparametern. Ich vermute, dass ich nur executable-profiling zu profiling in ~/.cabal/config ändern und meine cabal-Installation erneut versuchen musste.
Allerdings wusste ich nicht a priori was die Änderungen waren. Also meine Lösung * war:
mv ~/.cabal/config ~/.cabal/config.BACKUP cabal update , um eine neue Standardkonfigurationsdatei zu erstellen. ~/.cabal/config , um irgendwelche Einstellungen von ~/.cabal/config.BACKUP beizubehalten, die ich für den nächsten Schritt behalten wollte, ABER NICHT executable-profiling . cabal --no-require-sandbox install cabal-install rm ~/.cabal/config cabal update , um eine neue Standardkonfigurationsdatei zu erstellen. Sobald eine neue Standardkonfigurationsdatei erstellt wurde, können Sie STRG-c. ~/.cabal/config , um irgendwelche Einstellungen von ~/.cabal/config.BACKUP beizubehalten. Ich wollte weitermachen. BEARBEITEN: * Ich habe gerade den cabal-Befehl user-config entdeckt, der für Situationen wie diesen maßgeschneidert scheint. Um mehr zu erfahren, geben Sie cabal help user-config ein.