X-Git-Url: https://glassweightruler.freedombox.rocks/gitweb/xdg-ninja.git/blobdiff_plain/16f9982b8cfcec0c4552d8a80c8dc4de6b574d8c..refs/heads/arch_wiki_scrape:/generated_configs/idris.json

diff --git a/generated_configs/idris.json b/generated_configs/idris.json
index 11e705a..07746c2 100644
--- a/generated_configs/idris.json
+++ b/generated_configs/idris.json
@@ -2,7 +2,7 @@
     "name": "idris",
     "files": [
         {
-            "path": "~/.idris",
+            "path": "$HOME/.idris",
             "movable": false,
             "help": "\n_Relevant issue_: https://github.com/idris-lang/Idris-dev/pull/3456\n"
         }