Skip to content

image/4.22.12

@supersven supersven tagged this 22 Aug 05:48
`dist-newstyle`: The directory name depends on the cabal version. `cabal
clean` does the job (using the tool itself to manage it's cache).

`~/.cabal`: We shouldn't delete the whole folder as it may contain a
manually tweaked `config` file. Deleting `~/.cabal/store` should be
sufficient.

If `$CABAL_DIR` is set, it's taken into account.

Co-authored-by: Stefan Matting <[email protected]>
Assets 2
Loading