From: b3nj5m1n <47924309+b3nj5m1n@users.noreply.github.com>
Date: Sun, 7 Jan 2024 07:28:07 +0000 (+0100)
Subject: Merge pull request #344 from GrigorenkoPV/kani
X-Git-Tag: v0.2.0.2~5
X-Git-Url: https://glassweightruler.freedombox.rocks/gitweb/xdg-ninja.git/commitdiff_plain/f245eba8d1bd8cb52d27dc47adbca585b99ed717?hp=74dd300df17d2af5e158070edd79d31491f51ef0

Merge pull request #344 from GrigorenkoPV/kani

Add Kani
---

diff --git a/programs/kani.json b/programs/kani.json
new file mode 100644
index 0000000..b12d5c1
--- /dev/null
+++ b/programs/kani.json
@@ -0,0 +1,10 @@
+{
+    "files": [
+        {
+            "path": "$HOME/.kani",
+            "movable": true,
+            "help": "Export the following environment variables:\n\n```bash\nexport KANI_HOME=\"$XDG_DATA_HOME\"/kani\n```\n"
+        }
+    ],
+    "name": "kani"
+}