]> glassweightruler.freedombox.rocks Git - xdg-ninja.git/commitdiff
Merge pull request #344 from GrigorenkoPV/kani
authorb3nj5m1n <47924309+b3nj5m1n@users.noreply.github.com>
Sun, 7 Jan 2024 07:28:07 +0000 (08:28 +0100)
committerGitHub <noreply@github.com>
Sun, 7 Jan 2024 07:28:07 +0000 (08:28 +0100)
Add Kani

programs/kani.json [new file with mode: 0644]

diff --git a/programs/kani.json b/programs/kani.json
new file mode 100644 (file)
index 0000000..b12d5c1
--- /dev/null
@@ -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"
+}