From 1fdafeff9e0af517c2791e0bb2e8a70cd7626bab Mon Sep 17 00:00:00 2001
From: jamesmckinna <31931406+jamesmckinna@users.noreply.github.com>
Date: Mon, 9 Dec 2024 07:11:19 +0000
Subject: [PATCH] fixes #2500 (#2512)

---
 doc/installation-guide.md | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/doc/installation-guide.md b/doc/installation-guide.md
index d06cec93e1..a925c0160c 100644
--- a/doc/installation-guide.md
+++ b/doc/installation-guide.md
@@ -12,7 +12,7 @@ Use version v2.1.1 of the standard library with Agda 2.7.0. You can find the cor
    done manually by visiting the Github repository for the library, or via the
    command line as follows:
    ```
-   wget -O agda-stdlib.tar https://github.com/agda/agda-stdlib/archive/v2.1.1.tar.gz
+   wget -O agda-stdlib.tar.gz https://github.com/agda/agda-stdlib/archive/v2.1.1.tar.gz
    ```
    Note that you can replace `wget` with other popular tools such as `curl` and that
    you can replace `2.1.1` with any other version of the library you desire.
@@ -20,7 +20,7 @@ Use version v2.1.1 of the standard library with Agda 2.7.0. You can find the cor
 3. Extract the standard library from the tarball. Again this can either be
    done manually or via the command line as follows:
    ```
-   tar -zxvf agda-stdlib.tar
+   tar -zxvf agda-stdlib.tar.gz
    ```
 
 4. [ OPTIONAL ] If using [cabal](https://www.haskell.org/cabal/) then run
@@ -30,15 +30,17 @@ Use version v2.1.1 of the standard library with Agda 2.7.0. You can find the cor
    cabal install
    ```
 
-5. Locate the file `$HOME/.agda/libraries` where `$HOME` on Ubuntu/MacOS
-   is an environment variable that points to your home directory. The
-   value of the environment variable can be found by running `echo $HOME`.
+5. Locate the file `$AGDA_DIR/libraries` where `$AGDA_DIR` on Ubuntu/MacOS
+   can be found by running `agda --print-agda-app-dir`.
 
-   Note that the `.agda` directory and the `libraries` file within it,
+   Full details, including the various possible locations that `$AGDA_DIR`
+   might map to, may be found in [the online documentation](https://agda.readthedocs.io/en/latest/tools/package-system.html#installing-libraries).
+
+   Note that the `$AGDA_DIR` directory and the `libraries` file within it,
    may not exist and you may have to create them.
 
 6. Register the standard library with Agda's package system by adding
-   the following line to `$HOME/.agda/libraries`:
+   the following line to `$AGDA_DIR/libraries`:
    ```
    $HERE/agda-stdlib-2.1.1/standard-library.agda-lib
    ```
@@ -55,7 +57,7 @@ Now, the standard library is ready to be used either:
   searches for modules, for instance `.` (just the project's root).
 
 - in all your projects, by adding the following line to
-  `$HOME/.agda/defaults`
+  `$AGDA_DIR/defaults`
   ```
   standard-library
   ```