From 5bd74e51b3d84e218348279aa2032bfb2e8abc29 Mon Sep 17 00:00:00 2001 From: Antoine Stevan <44101798+a2n-s@users.noreply.github.com> Date: Mon, 6 Jun 2022 21:51:03 +0200 Subject: [PATCH] user should change paths in the cabal config file as well (#87) Co-authored-by: a2n-s <44101798+AntoineStevan@users.noreply.github.com> --- programs/cabal.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/programs/cabal.json b/programs/cabal.json index 8627987..b3e546c 100644 --- a/programs/cabal.json +++ b/programs/cabal.json @@ -3,7 +3,7 @@ { "path": "$HOME/.cabal", "movable": true, - "help": "Export the following environment variables:\n\n```bash\nexport CABAL_CONFIG=\"$XDG_CONFIG_HOME\"/cabal/config\nexport CABAL_DIR=\"$XDG_DATA_HOME\"/cabal\n```\n" + "help": "Export the following environment variables:\n\n```bash\nexport CABAL_CONFIG=\"$XDG_CONFIG_HOME\"/cabal/config\nexport CABAL_DIR=\"$XDG_DATA_HOME\"/cabal\n```\n\n_cabal_ might also require you to edit your new _XDG_CONFIG_HOME/cabal/config_ file by replacing all mentions of _~/.cabal_ with either _XDG_CONFIG_HOME/cabal_ or _XDG_DATA_HOME/cabal_." } ], "name": "cabal" -- 2.47.3