From b927f311637be27e4bbd8174d8796379b021e79c Mon Sep 17 00:00:00 2001 From: Sean Cheng Date: Tue, 25 Nov 2025 22:06:05 -0500 Subject: [PATCH] make `pack.toml` information consistent with `idris2-pack` --- src/Appendices/Install.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Appendices/Install.md b/src/Appendices/Install.md index a05967f..3527c9b 100644 --- a/src/Appendices/Install.md +++ b/src/Appendices/Install.md @@ -6,7 +6,7 @@ Here I describe what I find to be the most convenient way to get up and running In order to install the *pack* package manager together with a recent version of the Idris2 compiler, follow the instructions on [pack's GitHub page](https://github.com/stefan-hoeck/idris2-pack/blob/main/INSTALL.md). -If all goes well, I suggest you take a moment to inspect the default settings available in your global `pack.toml` file, which can be found at `$HOME/.pack/user/pack.toml` (unless you explicitly set the `$PACK_DIR` environment variable to a different directory). If possible, I suggest you install the *rlwrap* tool and change the following setting in your global `pack.toml` file to `true`: +If all goes well, I suggest you take a moment to inspect the default settings available in your global `pack.toml` file, which can be found at `$XDG_CONFIG_HOME/pack/pack.toml` (unless you explicitly set the `$PACK_USER_DIR` environment variable to a different directory). If possible, I suggest you install the *rlwrap* tool and change the following setting in your global `pack.toml` file to `true`: ```toml repl.rlwrap = true