From: Pavel Grigorenko <grigorenkopv@ya.ru>
Date: Sat, 16 Dec 2023 12:57:06 +0000 (+0300)
Subject: Add Kani
X-Git-Tag: v0.2.0.2~5^2
X-Git-Url: https://glassweightruler.freedombox.rocks/gitweb/xdg-ninja.git/commitdiff_plain/a44c3befcf6076d9e4c5abe22c8b61558ddbe2e9?hp=-c

Add Kani
---

a44c3befcf6076d9e4c5abe22c8b61558ddbe2e9
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"
+}