# cabal user-config Writing default configuration to /cabal.dist/cabal-config # cabal user-config cabal: /cabal.dist/cabal-config already exists. # cabal user-config Writing default configuration to /cabal.dist/cabal-config # cabal user-config Writing default configuration to /cabal.dist/cabal-config2 # cabal user-config Renaming /cabal.dist/cabal-config to /cabal.dist/cabal-config.backup. Writing merged config to /cabal.dist/cabal-config. # cabal user-config Renaming /cabal.dist/cabal-config to /cabal.dist/cabal-config.backup. Writing merged config to /cabal.dist/cabal-config.