programs/kani.json

   1 {
   2     "files": [
   3         {
   4             "path": "$HOME/.kani",
   5             "movable": true,
   6             "help": "Export the following environment variables:\n\n```bash\nexport KANI_HOME=\"$XDG_DATA_HOME\"/kani\n```\n"
   7         }
   8     ],
   9     "name": "kani"
  10 }