Add more programs

[xdg-ninja.git] / generated_configs / idris.json

diff --git a/generated_configs/idris.json b/generated_configs/idris.json
index 11e705a6f2822936090d52b31db621c28b31e35e..07746c2c6b5e86c21b2171b049efacab6409aee7 100644 (file)
--- 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"
         }