From 79b36b181b17b6cf002541c7953d1c959af3c490 Mon Sep 17 00:00:00 2001 From: Maja Trela Date: Thu, 9 Jan 2025 20:53:27 -0500 Subject: [PATCH] agda: fix libraries config paths in post-install --- Formula/a/agda.rb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Formula/a/agda.rb b/Formula/a/agda.rb index 69fc601de4793..67f14446dca12 100644 --- a/Formula/a/agda.rb +++ b/Formula/a/agda.rb @@ -171,9 +171,9 @@ def caveats <<~EOS To use the installed Agda libraries, execute the following commands: - mkdir -p $HOME/.config/agda - cp #{opt_lib}/agda/example-libraries $HOME/.config/agda/libraries - cp #{opt_lib}/agda/example-defaults $HOME/.config/agda/defaults + mkdir -p $HOME/.agda + cp #{opt_lib}/agda/example-libraries $HOME/.agda/libraries + cp #{opt_lib}/agda/example-defaults $HOME/.agda/defaults You can then inspect the copied files and customize them as needed. EOS