Merge pull request #344 from GrigorenkoPV/kani

Add Kani
b3nj5m1n · Jan 7, 2024 · f245eba · f245eba
2 parents 74dd300 + a44c3be
commit f245eba
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/programs/kani.json 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"
+}