programs/radian.json

   1 {
   2     "files": [
   3         {
   4             "help": "Set this to _XDG_CONFIG_HOME/radian/profile_:\n```\noptions(radian.global_history_file = \"$XDG_STATE_HOME/radian/history\")\n```\nand move the file to _$XDG_STATE_HOME/radian/history_\n",
   5             "movable": true,
   6             "path": "$HOME/.radian_history"
   7         }
   8     ],
   9     "name": "radian"
  10 }